AlphaPeu commune
agda/agda-categories
A new Categories library for Agda
- Propriétaire
- agda (organisation)
- Étoiles
- Étoiles : 412
- Forks
- Forks : 83
- Langage
- Agda
- Licence
- MIT
- Création
- 2019
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de agda
Les 7 dépôts de agda- agda/agdaÉtoiles : 2 964HaskellRC
- agda/agda-stdlibÉtoiles : 680AgdaAlpha
- agda/cubicalÉtoiles : 572AgdaAlpha
- agda/agda2hsÉtoiles : 210AgdaPrototype
- agda/cornelisÉtoiles : 195HaskellPrototype
- agda/agda-language-serverÉtoiles : 130HaskellPrototype
D’autres dépôts Agda
Tous les dépôts Agda- agda/cubicalÉtoiles : 572AgdaAlpha
- the1lab/1labÉtoiles : 446AgdaAlpha
- HoTT/HoTT-AgdaÉtoiles : 442AgdaAlpha
- cedille/cedilleÉtoiles : 398AgdaAlpha
- EgbertRijke/HoTT-IntroÉtoiles : 373AgdaAlpha
- UniMath/agda-unimathÉtoiles : 318AgdaAlpha