Idris
by earl, 5279 days ago
"Idris is an experimental language with full dependent types."- http://www.cs.st-andrews.ac.uk/~eb/Idris/
search
40 active users
- unknown (40)
backlinks (more)
none, yet
recent stores (more)
echo earlZstrainYat|tr ZY @.
