Hacker News
- 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