issues
search
ToJans
/
idris101
Learning project by a group of people interested in learning the Idris language
http://www.idris-lang.org/
The Unlicense
51
stars
12
forks
source link
Me too!
#10
Closed
nosami
closed
9 years ago