AlphaUncommon
sweirich/pi-forall
A demo implementation of a simple dependently-typed language
- Owner
- sweirich (personal account)
- Stars
- Stars: 632
- Forks
- Forks: 100
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2013
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by sweirich
All 5 repos by sweirich- sweirich/dthStars: 309HaskellAlpha
- sweirich/talStars: 150HaskellPrototype
- sweirich/lambda-n-waysStars: 127HTMLPrototype
- sweirich/challengeStars: 122HaskellPrototype
Nearby in Haskell
All Haskell repos- andyarvanitis/purescript-nativeStars: 642HaskellAlpha
- haskell-beam/beamStars: 637HaskellAlpha
- transient-haskell/transientStars: 634HaskellAlpha
- qfpl/applied-fp-courseStars: 629HaskellAlpha
- jagajaga/FP-Course-ITMOStars: 628HaskellAlpha
- ChrisPenner/rasaStars: 626HaskellAlpha