- 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
Related searches:
Search whole site: site:www.impredicative.com
Search title: The Ur Programming Language Family
See how to search.