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
Last Updated
Link to Open Source
Language
Project Lead
Adam Chlipala