GitHub - jespercockx/agda-lecture-notes: Agda lecture notes for the Functional Programming course at TU Delft
Agda lecture notes for the Functional Programming course at TU Delft - jespercockx/agda-lecture-notes
github.com