ToJans/idris101 Issues
assignment #2: the bowling kata
Closed 3Turn this into an open project
Updated 1testing slack
Closed 1Introductionary google hangout
Closed 2Video tutorials
Closed
Learning project by a group of people interested in learning the Idris language