AlphaPeu commune
sweirich/pi-forall
A demo implementation of a simple dependently-typed language
- Propriétaire
- sweirich (compte personnel)
- Étoiles
- Étoiles : 632
- Forks
- Forks : 100
- Langage
- Haskell
- Licence
- BSD-3-Clause
- Création
- 2013
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de sweirich
Les 5 dépôts de sweirich- sweirich/dthÉtoiles : 309HaskellAlpha
- 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- andyarvanitis/purescript-nativeÉtoiles : 641HaskellAlpha
- haskell-beam/beamÉtoiles : 637HaskellAlpha
- transient-haskell/transientÉtoiles : 634HaskellAlpha
- qfpl/applied-fp-courseÉtoiles : 629HaskellAlpha
- jagajaga/FP-Course-ITMOÉtoiles : 628HaskellAlpha
- ChrisPenner/rasaÉtoiles : 626HaskellAlpha