PrototypeCommune
ollef/Bidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
- Propriétaire
- ollef (compte personnel)
- Étoiles
- Étoiles : 134
- Forks
- Forks : 12
- Langage
- Haskell
- Licence
- BSD-3-Clause
- Création
- 2013
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de ollef
Les 5 dépôts de ollef- ollef/sixtenÉtoiles : 785HaskellBêta
- ollef/EarleyÉtoiles : 377HaskellAlpha
- ollef/sixtyÉtoiles : 277HaskellAlpha
- ollef/rockÉtoiles : 139HaskellPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- Plutonomicon/plutarch-plutusÉtoiles : 134HaskellPrototype
- GaloisInc/greaseÉtoiles : 134HaskellPrototype
- garnix-io/nixos-composeÉtoiles : 134HaskellPrototype