RCEpic
idris-lang/Idris2
A purely functional programming language with first class types
- Owner
- idris-lang (organization)
- Stars
- Stars: 3,103
- Forks
- Forks: 423
- Language
- Idris
- License
- None
- Created
- 2020
- Topics
- compilerdependent-typeshacktoberfest
- Tier
- RC (2,000 to 4,999 ★) What this tier means
More repos by idris-lang
All 2 repos by idris-lang- idris-lang/Idris-devStars: 3,478HaskellRC
Nearby in Idris
All Idris repos- edwinb/Idris2-bootStars: 889IdrisBeta
- edwinb/BlodwenStars: 540IdrisAlpha
- mmhelloworld/idris-jvmStars: 483IdrisAlpha