AlphaUncommon
edwinb/Blodwen
A prototype successor to Idris
- Owner
- edwinb (personal account)
- Stars
- Stars: 540
- Forks
- Forks: 35
- Language
- Idris
- License
- None
- Created
- 2017
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by edwinb
All 5 repos by edwinb- edwinb/Idris2-bootStars: 889IdrisBeta
- edwinb/idris-phpStars: 176HaskellPrototype
- edwinb/TypeDD-SamplesStars: 163IdrisPrototype
- edwinb/SPLV20Stars: 116IdrisPrototype
Nearby in Idris
All Idris repos- idris-lang/Idris2Stars: 3,104IdrisRC
- edwinb/Idris2-bootStars: 889IdrisBeta
- mmhelloworld/idris-jvmStars: 483IdrisAlpha
- idris-hackers/software-foundationsStars: 460IdrisAlpha
- joaomilho/awesome-idrisStars: 414IdrisAlpha