emsenn

Tag: agda

10 items with this tag.

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

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