PrototypeCommon
edwinb/TypeDD-Samples
Sample code from "Type Driven Development with Idris"
- Owner
- edwinb (personal account)
- Stars
- Stars: 162
- Forks
- Forks: 44
- Language
- Idris
- License
- MIT
- Created
- 2017
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by edwinb
All 5 repos by edwinb- edwinb/Idris2-bootStars: 889IdrisBeta
- edwinb/BlodwenStars: 540IdrisAlpha
- edwinb/idris-phpStars: 176HaskellPrototype
- edwinb/SPLV20Stars: 116IdrisPrototype
Nearby in Idris
All Idris repos- channable/dbcriticStars: 180IdrisPrototype
- timjb/quantitiesStars: 164IdrisPrototype
- stefan-hoeck/idris2-packStars: 163IdrisPrototype
- christian-public/Idris2-ErlangStars: 149IdrisPrototype
- andorp/order-takingStars: 146IdrisPrototype
- KesterTong/idris2048Stars: 124IdrisPrototype