Hacker News
- The Ur Programming Language Family http://impredicative.com/ur/ 44 comments
- The Ur Programming Language Family http://www.impredicative.com/ur/ 18 comments
- Ur/web: pure functional, statically typed web programming http://impredicative.com/ur 45 comments
- The Ur Programming Language Family http://impredicative.com/ur/ 11 comments
Lobsters
- Ur/web is out of beta http://www.impredicative.com/ur/ 15 comments programming
- Ur/Web in production http://www.impredicative.com/pipermail/ur/2014-january/001608.html 15 comments haskell
- Ur/Web is a domain-specific language for programming webapps backed by SQL databases. Statically-typed, purely functional, and with features from dependently-typed languages like the logic behind Coq. http://www.impredicative.com/ur/?repost 59 comments programming
- Ur/Web is a domain-specific language for programming webapps backed by SQL databases. Statically-typed, purely functional, and with features from dependently-typed languages like the logic behind Coq. http://www.impredicative.com/ur/ 58 comments programming