start | find | index | login or register | edit
Idris
by earl, 3387 days ago
"Idris is an experimental language with full dependent types."

- http://www.cs.st-andrews.ac.uk/~eb/Idris/
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 6770 days • c'est un vanilla site