PrototypeCommon
lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
- Owner
- lamdu (organization)
- Stars
- Stars: 126
- Forks
- Forks: 10
- Language
- Haskell
- License
- None
- Created
- 2018
- Topics
- programming-language-developmentprogramming-languagestype-checkertype-inference
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by lamdu
All 2 repos by lamdu- lamdu/lamduStars: 1,895HaskellBeta
Nearby in Haskell
All Haskell repos- ndmitchell/weederStars: 126HaskellPrototype
- cachix/elm2nixStars: 126HaskellPrototype
- srid/emaStars: 126HaskellPrototype
- jozefg/pcfStars: 126HaskellPrototype
- expipiplus1/update-nix-fetchgitStars: 126HaskellPrototype