PrototypeCommune
ilya-klyuchnikov/lambdapi
Dependently Typed Lambda Calculus in Haskell
- Propriétaire
- ilya-klyuchnikov (compte personnel)
- Étoiles
- Étoiles : 118
- Forks
- Forks : 21
- Langage
- Haskell
- Licence
- Aucune
- Création
- 2013
- Sujets
- dependent-typesprogramming-language
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de ilya-klyuchnikov
Les 3 dépôts de ilya-klyuchnikov- ilya-klyuchnikov/tapl-scalaÉtoiles : 189ScalaPrototype
- ilya-klyuchnikov/ttliteÉtoiles : 125ScalaPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- srid/ribÉtoiles : 118HaskellPrototype
- stevana/elastically-scalable-thread-poolsÉtoiles : 118HaskellPrototype
- well-typed/hs-bindgenÉtoiles : 118HaskellPrototype
- 1HaskellADay/1HADÉtoiles : 118HaskellPrototype