PrototypeCommon
idris-hackers/idris-koans
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
- Owner
- idris-hackers (organization)
- Stars
- Stars: 181
- Forks
- Forks: 26
- Language
- Idris
- License
- BSD-3-Clause
- Created
- 2013
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by idris-hackers
All 8 repos by idris-hackers- idris-hackers/software-foundationsStars: 460IdrisAlpha
- idris-hackers/idris-modeStars: 275Emacs LispAlpha
- idris-hackers/idris-vimStars: 221Vim ScriptPrototype
- idris-hackers/idris-demosStars: 195IdrisPrototype
- idris-hackers/idris-cryptoStars: 121IdrisPrototype
- idris-hackers/IdrisWebStars: 109TeXPrototype
Nearby in Idris
All Idris repos- puffnfresh/iridiumStars: 209IdrisPrototype
- idris-community/idris2-lspStars: 205IdrisPrototype
- idris-hackers/idris-demosStars: 195IdrisPrototype
- channable/dbcriticStars: 180IdrisPrototype
- timjb/quantitiesStars: 164IdrisPrototype
- edwinb/TypeDD-SamplesStars: 163IdrisPrototype