PrototypeCommon
ollef/Bidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
- Owner
- ollef (personal account)
- Stars
- Stars: 134
- Forks
- Forks: 12
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2013
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by ollef
All 5 repos by ollef- ollef/sixtenStars: 785HaskellBeta
- ollef/EarleyStars: 377HaskellAlpha
- ollef/sixtyStars: 277HaskellAlpha
- ollef/rockStars: 139HaskellPrototype
Nearby in Haskell
All Haskell repos- Plutonomicon/plutarch-plutusStars: 134HaskellPrototype
- GaloisInc/greaseStars: 134HaskellPrototype
- garnix-io/nixos-composeStars: 134HaskellPrototype