Agda lecture notes for the Functional Programming course at TU Delft
133
stars
70
commits
TeX
primary language
Mar 3, 2026
updated
TeX
84.3%
BibTeX Style
15.5%
Agda lecture notes for the Functional Programming course at TU Delft
133
stars
70
commits
TeX
primary language
Mar 3, 2026
updated
TeX
84.3%
BibTeX Style
15.5%