PrototypeCommune
copumpkin/categories
Categories parametrized by morphism equality, in Agda
- Propriétaire
- copumpkin (compte personnel)
- Étoiles
- Étoiles : 154
- Forks
- Forks : 23
- Langage
- Agda
- Licence
- Aucune
- Création
- 2011
- Sujets
- category-theoryagda
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Agda
Tous les dépôts Agda- pigworker/CS410-17Étoiles : 265AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesÉtoiles : 237AgdaPrototype
- agda/agda2hsÉtoiles : 210AgdaPrototype
- thehottgame/TheHoTTGameÉtoiles : 141AgdaPrototype
- ice1000/BooksÉtoiles : 140AgdaPrototype
- gallais/agdarsecÉtoiles : 138AgdaPrototype