jespercockx / agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft
117Updated 7 months ago

Related projects

Alternatives and complementary repositories for agda-lecture-notes