Install urweb-doc by entering the following commands in the terminal:
sudo apt update sudo apt install urweb-doc
Description:
Ur/Web reference manual
Ur is a pure, functional, statically typed, strict programming language in the tradition of ML and Haskell; however, it features a significantly richer type system. Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization. Ur/Web supports constructing dynamic web applications backed by SQL databases. . This package provides the Ur/Web reference manual in PDF format.
Homepage: http://impredicative.com/ur/
Version: 20170720+dfsg-2build1
Section: universe/doc