PrototypeCommon
alhassy/gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
- Owner
- alhassy (personal account)
- Stars
- Stars: 108
- Forks
- Forks: 8
- Language
- Agda
- License
- None
- Created
- 2019
- Topics
- agdatacticstutorialproof-patternmacroexercise
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by alhassy
All 6 repos by alhassy- alhassy/emacs.dStars: 401Emacs LispAlpha
- alhassy/ElispCheatSheetStars: 247Prototype
- alhassy/org-special-block-extrasStars: 239Emacs LispPrototype
- alhassy/JavaScriptCheatSheetStars: 220Prototype
- alhassy/CheatSheetStars: 183TeXPrototype
Nearby in Agda
All Agda repos- UlfNorell/agda-preludeStars: 135AgdaPrototype
- HoTT-Intro/AgdaStars: 129AgdaPrototype
- wenkokke/schmittyStars: 110AgdaPrototype
- agda-attic/agda-frp-jsStars: 104AgdaPrototype