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

Update README.md #2

Closed klimisa closed 9 years ago

klimisa commented 9 years ago

Added Antonios Klimis to the list.