BêtaRare
AndrasKovacs/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
- Propriétaire
- AndrasKovacs (compte personnel)
- Étoiles
- Étoiles : 808
- Forks
- Forks : 50
- Langage
- Haskell
- Licence
- BSD-3-Clause
- Création
- 2016
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de AndrasKovacs
Les 4 dépôts de AndrasKovacs- AndrasKovacs/smallttÉtoiles : 611LeanAlpha
- AndrasKovacs/stagedÉtoiles : 189TeXPrototype
- AndrasKovacs/flatparseÉtoiles : 182HaskellPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- Copilot-Language/copilotÉtoiles : 839HaskellBêta
- tmspzz/RomeÉtoiles : 823HaskellBêta
- cardano-foundation/cardano-walletÉtoiles : 823HaskellBêta
- ndmitchell/hoogleÉtoiles : 805HaskellBêta
- augustss/MicroHsÉtoiles : 804HaskellBêta
- ndmitchell/shakeÉtoiles : 803HaskellBêta