AlphaUncommon
sweirich/dth
Examples of Dependently-typed programs in Haskell
- Owner
- sweirich (personal account)
- Stars
- Stars: 309
- Forks
- Forks: 22
- Language
- Haskell
- License
- MIT
- Created
- 2014
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by sweirich
All 5 repos by sweirich- sweirich/pi-forallStars: 632HaskellAlpha
- sweirich/talStars: 150HaskellPrototype
- sweirich/lambda-n-waysStars: 127HTMLPrototype
- sweirich/challengeStars: 122HaskellPrototype
Nearby in Haskell
All Haskell repos- dpiponi/quine-centralStars: 309HaskellAlpha
- haskell-prettyprinter/prettyprinterStars: 309HaskellAlpha
- Holmusk/three-layerStars: 309HaskellAlpha