BetaRare
AndrasKovacs/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
- Owner
- AndrasKovacs (personal account)
- Stars
- Stars: 808
- Forks
- Forks: 50
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2016
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by AndrasKovacs
All 4 repos by AndrasKovacs- AndrasKovacs/smallttStars: 611LeanAlpha
- AndrasKovacs/stagedStars: 189TeXPrototype
- AndrasKovacs/flatparseStars: 182HaskellPrototype
Nearby in Haskell
All Haskell repos- Copilot-Language/copilotStars: 839HaskellBeta
- tmspzz/RomeStars: 823HaskellBeta
- cardano-foundation/cardano-walletStars: 823HaskellBeta
- ndmitchell/hoogleStars: 805HaskellBeta
- augustss/MicroHsStars: 804HaskellBeta
- ndmitchell/shakeStars: 803HaskellBeta