PrototypeCommon
ilya-klyuchnikov/lambdapi
Dependently Typed Lambda Calculus in Haskell
- Owner
- ilya-klyuchnikov (personal account)
- Stars
- Stars: 118
- Forks
- Forks: 21
- Language
- Haskell
- License
- None
- Created
- 2013
- Topics
- dependent-typesprogramming-language
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by ilya-klyuchnikov
All 3 repos by ilya-klyuchnikov- ilya-klyuchnikov/tapl-scalaStars: 189ScalaPrototype
- ilya-klyuchnikov/ttliteStars: 125ScalaPrototype
Nearby in Haskell
All Haskell repos- srid/ribStars: 118HaskellPrototype
- stevana/elastically-scalable-thread-poolsStars: 118HaskellPrototype
- well-typed/hs-bindgenStars: 118HaskellPrototype
- 1HaskellADay/1HADStars: 118HaskellPrototype