PrototypeCommune
alhassy/gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
- Propriétaire
- alhassy (compte personnel)
- Étoiles
- Étoiles : 108
- Forks
- Forks : 8
- Langage
- Agda
- Licence
- Aucune
- Création
- 2019
- Sujets
- agdatacticstutorialproof-patternmacroexercise
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de alhassy
Les 6 dépôts de alhassy- alhassy/emacs.dÉtoiles : 401Emacs LispAlpha
- alhassy/ElispCheatSheetÉtoiles : 247Prototype
- alhassy/org-special-block-extrasÉtoiles : 239Emacs LispPrototype
- alhassy/JavaScriptCheatSheetÉtoiles : 220Prototype
- alhassy/CheatSheetÉtoiles : 183TeXPrototype
D’autres dépôts Agda
Tous les dépôts Agda- UlfNorell/agda-preludeÉtoiles : 135AgdaPrototype
- HoTT-Intro/AgdaÉtoiles : 129AgdaPrototype
- wenkokke/schmittyÉtoiles : 110AgdaPrototype
- agda-attic/agda-frp-jsÉtoiles : 104AgdaPrototype