Description
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.
Installation Instructions
dnf install urweb
Active Releases
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
| Release | Architectures | Repo Download |
|---|---|---|
EPEL 7
|
x86_64 (58)* | EPEL 7 (209 downloads) |
Fedora 41
|
aarch64 (80)*, x86_64 (47)* | Fedora 41 (0 downloads) |
|
Fedora 42
|
aarch64 (51)*, x86_64 (61)* | Fedora 42 (43 downloads) |
|
Fedora 43
|
aarch64 (15)*, x86_64 (9)* | Fedora 43 (22 downloads) |
|
Fedora 44
|
aarch64 (5)*, x86_64 (5)* | Fedora 44 (2 downloads) |
|
Fedora rawhide
|
aarch64 (97)*, x86_64 (61)* | Fedora rawhide (202 downloads) |
* Total number of downloaded packages.