PrototypeCommune
lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
- Propriétaire
- lamdu (organisation)
- Étoiles
- Étoiles : 126
- Forks
- Forks : 10
- Langage
- Haskell
- Licence
- Aucune
- Création
- 2018
- Sujets
- programming-language-developmentprogramming-languagestype-checkertype-inference
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de lamdu
Les 2 dépôts de lamdu- lamdu/lamduÉtoiles : 1 895HaskellBêta
D’autres dépôts Haskell
Tous les dépôts Haskell- ndmitchell/weederÉtoiles : 126HaskellPrototype
- cachix/elm2nixÉtoiles : 126HaskellPrototype
- srid/emaÉtoiles : 126HaskellPrototype
- jozefg/pcfÉtoiles : 126HaskellPrototype
- expipiplus1/update-nix-fetchgitÉtoiles : 126HaskellPrototype