- 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