a significantly richer type system. Ur is functional, pure, statically-typed,
and strict. Ur supports a powerful kind of metaprogramming based on row types.
Ur/Web is Ur plus a special standard library and associated rules for parsing
and optimization. Ur/Web supports construction of dynamic web applications
backed by SQL databases.
PR: ports/166657
Submitted by: Timothy Beyer <beyert@cs.ucr.edu>
Feature safe: yes
