idris101
idris101 copied to clipboard
Published
20 hours ago •
ToJans
ToJans
Learning project by a group of people interested in learning the Idris language
Results
1
idris101 issues
Sort by
recently updated
recently updated
newest added
Like I mentioned on Google+ : using closed platforms (private group, slack) was probably a bad idea for this. I would like to turn this into an open learning project....
