jespercockx / agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

jespercockx/agda-lecture-notes Issues

Interactive programming giving different result for code snippet (25)
Closed 2 years ago3
No longer proving that length distributes over concatenation
Updated 2 years ago
numeral 6 cannot be used yet
Updated 2 years ago2
Exercise 2.6 needs to use "with" but that has not been taught, yet.
Closed 2 years ago2