PrototypeCommon
lexi-lambda/higher-rank
A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
- Owner
- lexi-lambda (personal account)
- Stars
- Stars: 102
- Forks
- Forks: 3
- Language
- Haskell
- License
- ISC
- Created
- 2017
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by lexi-lambda
All 6 repos by lexi-lambda- lexi-lambda/hackettStars: 1,205RacketBeta
- lexi-lambda/freer-simpleStars: 240HaskellPrototype
- lexi-lambda/effStars: 144HaskellPrototype
- lexi-lambda/mtl-style-exampleStars: 107HaskellPrototype
- lexi-lambda/racket-r7rsStars: 102RacketPrototype
Nearby in Haskell
All Haskell repos- monadicsystems/okapiStars: 102HaskellPrototype
- japiirainen/fpStars: 102HaskellPrototype
- axionbuster/mmmStars: 102HaskellPrototype
- lspitzner/exferenceStars: 102HaskellPrototype
- johannesgerer/buchhaltungStars: 102HaskellPrototype
- JustusAdam/mustacheStars: 102HaskellPrototype