PrototypeCommon
stefan-hoeck/idris2-tutorial
No description.
- Owner
- stefan-hoeck (personal account)
- Stars
- Stars: 240
- Forks
- Forks: 30
- Language
- Idris
- License
- BSD-3-Clause
- Created
- 2021
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by stefan-hoeck
All 2 repos by stefan-hoeck- stefan-hoeck/idris2-packStars: 163IdrisPrototype
Nearby in Idris
All Idris repos- typedefs/typedefsStars: 373IdrisAlpha
- statebox/idris-ctStars: 272IdrisAlpha
- ziman/lightyearStars: 243IdrisPrototype
- puffnfresh/iridiumStars: 209IdrisPrototype
- idris-community/idris2-lspStars: 205IdrisPrototype
- idris-hackers/idris-demosStars: 195IdrisPrototype