PrototypeCommune
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.
- Propriétaire
- idris-hackers (organisation)
- Étoiles
- Étoiles : 181
- Forks
- Forks : 26
- Langage
- Idris
- Licence
- BSD-3-Clause
- Création
- 2013
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de idris-hackers
Les 8 dépôts de idris-hackers- idris-hackers/software-foundationsÉtoiles : 460IdrisAlpha
- idris-hackers/idris-modeÉtoiles : 275Emacs LispAlpha
- idris-hackers/idris-vimÉtoiles : 221Vim ScriptPrototype
- idris-hackers/idris-demosÉtoiles : 195IdrisPrototype
- idris-hackers/idris-cryptoÉtoiles : 121IdrisPrototype
- idris-hackers/IdrisWebÉtoiles : 109TeXPrototype
D’autres dépôts Idris
Tous les dépôts Idris- puffnfresh/iridiumÉtoiles : 209IdrisPrototype
- idris-community/idris2-lspÉtoiles : 205IdrisPrototype
- idris-hackers/idris-demosÉtoiles : 195IdrisPrototype
- channable/dbcriticÉtoiles : 180IdrisPrototype
- timjb/quantitiesÉtoiles : 164IdrisPrototype
- edwinb/TypeDD-SamplesÉtoiles : 163IdrisPrototype