Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization. Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system