PrototypeCommon
edwinb/SPLV20
SPLV20 course notes
- Owner
- edwinb (personal account)
- Stars
- Stars: 116
- Forks
- Forks: 37
- Language
- Idris
- License
- None
- Created
- 2020
- 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/TypeDD-SamplesStars: 162IdrisPrototype
Nearby in Idris
All Idris repos- KesterTong/idris2048Stars: 124IdrisPrototype
- idris-hackers/idris-cryptoStars: 121IdrisPrototype
- joom/hezarfenStars: 119IdrisPrototype
- gallais/idris-tparsecStars: 100IdrisPrototype