jespercockx / agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft
118Updated 8 months ago

Related projects

Alternatives and complementary repositories for agda-lecture-notes