AlphaPeu commune
pigworker/CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
- Propriétaire
- pigworker (compte personnel)
- Étoiles
- Étoiles : 265
- Forks
- Forks : 28
- Langage
- Agda
- Licence
- Aucune
- Création
- 2017
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de pigworker
Les 2 dépôts de pigworker- pigworker/MetaprogAgdaÉtoiles : 114Prototype
D’autres dépôts Agda
Tous les dépôts Agda- UniMath/agda-unimathÉtoiles : 318AgdaAlpha
- liamoc/learn-you-an-agdaÉtoiles : 315AgdaAlpha
- martinescardo/TypeTopologyÉtoiles : 288AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesÉtoiles : 237AgdaPrototype
- agda/agda2hsÉtoiles : 210AgdaPrototype
- copumpkin/categoriesÉtoiles : 154AgdaPrototype