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 #8

Closed CalvinHarrisUK closed 9 years ago

CalvinHarrisUK commented 9 years ago

Adding Frank Bedlam to the group.