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
Add @lee_crossley
#11
Closed
leecrossley
closed
9 years ago