Ur
by earl, 5899 days ago
"Ur is a programming language designed to introduce richer type system features into functional programming in the tradition of [create ML] and Haskell."- http://www.impredicative.com/ur/
search
64 active users
- unknown (64)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
