AlphaUncommon
goldfirere/singletons
Fake dependent types in Haskell using singletons
- Owner
- goldfirere (personal account)
- Stars
- Stars: 295
- Forks
- Forks: 39
- Language
- Haskell
- License
- None
- Created
- 2012
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by goldfirere
All 4 repos by goldfirere- goldfirere/glambdaStars: 227HaskellPrototype
- goldfirere/thesisStars: 206HaskellPrototype
- goldfirere/unitsStars: 101HaskellPrototype
Nearby in Haskell
All Haskell repos- IntersectMBO/plutus-appsStars: 296HaskellAlpha
- snoyberg/http-clientStars: 295HaskellAlpha
- brendanhay/gogolStars: 295HaskellAlpha
- elm/package.elm-lang.orgStars: 294HaskellAlpha
- winterland1989/magic-haskellStars: 294HaskellAlpha