PrototypeCommon
stefan-hoeck/idris2-pack
No description.
- Owner
- stefan-hoeck (personal account)
- Stars
- Stars: 163
- Forks
- Forks: 41
- Language
- Idris
- License
- BSD-3-Clause
- Created
- 2022
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by stefan-hoeck
All 2 repos by stefan-hoeck- stefan-hoeck/idris2-tutorialStars: 240IdrisPrototype
Nearby in Idris
All Idris repos- idris-hackers/idris-koansStars: 181IdrisPrototype
- channable/dbcriticStars: 180IdrisPrototype
- timjb/quantitiesStars: 164IdrisPrototype
- edwinb/TypeDD-SamplesStars: 162IdrisPrototype
- christian-public/Idris2-ErlangStars: 149IdrisPrototype
- andorp/order-takingStars: 146IdrisPrototype