PrototypeCommune
lexi-lambda/higher-rank
A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
- Propriétaire
- lexi-lambda (compte personnel)
- Étoiles
- Étoiles : 102
- Forks
- Forks : 3
- Langage
- Haskell
- Licence
- ISC
- Création
- 2017
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de lexi-lambda
Les 6 dépôts de lexi-lambda- lexi-lambda/hackettÉtoiles : 1 205RacketBêta
- lexi-lambda/freer-simpleÉtoiles : 240HaskellPrototype
- lexi-lambda/effÉtoiles : 144HaskellPrototype
- lexi-lambda/mtl-style-exampleÉtoiles : 107HaskellPrototype
- lexi-lambda/racket-r7rsÉtoiles : 102RacketPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- monadicsystems/okapiÉtoiles : 102HaskellPrototype
- japiirainen/fpÉtoiles : 102HaskellPrototype
- axionbuster/mmmÉtoiles : 102HaskellPrototype
- lspitzner/exferenceÉtoiles : 102HaskellPrototype
- johannesgerer/buchhaltungÉtoiles : 102HaskellPrototype
- JustusAdam/mustacheÉtoiles : 102HaskellPrototype