AlphaPeu commune
ollef/sixty
Dependent type checker using normalisation by evaluation
- Propriétaire
- ollef (compte personnel)
- Étoiles
- Étoiles : 277
- Forks
- Forks : 8
- Langage
- Haskell
- Licence
- Aucune
- Création
- 2019
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de ollef
Les 5 dépôts de ollef- ollef/sixtenÉtoiles : 785HaskellBêta
- ollef/EarleyÉtoiles : 377HaskellAlpha
- ollef/rockÉtoiles : 139HaskellPrototype
- ollef/BidirectionalÉtoiles : 134HaskellPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- RaphaelJ/fridayÉtoiles : 277HaskellAlpha
- ivanperez-keera/haskanoidÉtoiles : 277HaskellAlpha
- ekmett/guanxiÉtoiles : 277HaskellAlpha