AlphaPeu commune
sweirich/dth
Examples of Dependently-typed programs in Haskell
- Propriétaire
- sweirich (compte personnel)
- Étoiles
- Étoiles : 309
- Forks
- Forks : 22
- Langage
- Haskell
- Licence
- MIT
- Création
- 2014
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de sweirich
Les 5 dépôts de sweirich- sweirich/pi-forallÉtoiles : 632HaskellAlpha
- sweirich/talÉtoiles : 150HaskellPrototype
- sweirich/lambda-n-waysÉtoiles : 127HTMLPrototype
- sweirich/challengeÉtoiles : 122HaskellPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- dpiponi/quine-centralÉtoiles : 309HaskellAlpha
- haskell-prettyprinter/prettyprinterÉtoiles : 309HaskellAlpha
- Holmusk/three-layerÉtoiles : 309HaskellAlpha