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.