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 urweb compiler and development libraries; you do not need to install it to run applications written in Ur/Web.