emsenn

Tag: Agda

10 items with this tag.

Mar 01, 2026
Curriculum of Agda
- Agda
Mar 01, 2026
Agda Skills
- Agda
Mar 01, 2026
Agda Terms
- Agda
Mar 01, 2026
Dependent Types in Agda
- Agda
Mar 01, 2026
Introduction to Agda
- Agda
Mar 01, 2026
Proving in Agda
- Agda
Mar 01, 2026
SKILL
- Agda
- FormalVerification
Mar 01, 2026
pattern matching
- Agda
Mar 01, 2026
standard library
- Agda
Mar 01, 2026
universe level
- Agda

Notes written in Obsidian, webpages generated by Quartz, website hosted by Neocities, supported by reader donations.