start | find | index | login or register | edit | ||
Idris
by earl, 5309 days ago
"Idris is an experimental language with full dependent types."- http://www.cs.st-andrews.ac.uk/~eb/Idris/ |
search 70 active users
backlinks (more) none, yet recent stores (more) echo earlZstrainYat|tr ZY @. |
|
earl.strain.at • esa3 • online for 8692 days • c'est un vanilla site |