start | find | index | login or register | edit
Ur
by earl, 6262 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

5 active users

backlinks (more)

none, yet

recent stores (more)

powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 9055 days • c'est un vanilla site