Ur is a programming language in the tradition of ML and Haskell, but featuring 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. The signature of the standard library is such that well-typed Ur/Web programs "don't go wrong" in a very broad sense.
dnf install urweb
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
|EPEL 7||x86_64 (0)*||EPEL 7 (91 downloads)|
|Fedora 34||aarch64 (0)*, x86_64 (0)*||Fedora 34 (0 downloads)|
|Fedora 35||aarch64 (0)*, x86_64 (0)*||Fedora 35 (25 downloads)|
|Fedora 36||aarch64 (0)*, x86_64 (0)*||Fedora 36 (9 downloads)|
|Fedora 37||aarch64 (0)*, x86_64 (0)*||Fedora 37 (3 downloads)|
|Fedora rawhide||aarch64 (0)*, x86_64 (0)*||Fedora rawhide (83 downloads)|
* Total number of packages downloaded in the last seven days.