AlphaPeu commune
liamoc/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
Archivé : ce dépôt n’évolue plus
- Propriétaire
- liamoc (compte personnel)
- Étoiles
- Étoiles : 315
- Forks
- Forks : 33
- Langage
- Agda
- Licence
- BSD-3-Clause
- Création
- 2010
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de liamoc
Les 2 dépôts de liamoc- liamoc/holbertÉtoiles : 172HaskellPrototype
D’autres dépôts Agda
Tous les dépôts Agda- cedille/cedilleÉtoiles : 398AgdaAlpha
- EgbertRijke/HoTT-IntroÉtoiles : 373AgdaAlpha
- UniMath/agda-unimathÉtoiles : 318AgdaAlpha
- martinescardo/TypeTopologyÉtoiles : 288AgdaAlpha
- pigworker/CS410-17Étoiles : 265AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesÉtoiles : 237AgdaPrototype