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 runtime library for executables compiled with urweb. packages should not depend on this package; instead, they should depend on one of the urweb backend packages, each of which depends on this one.