jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

4 best points · 0 comments · 1 Hacker News post · 135 GitHub stars · View on GitHub

Hacker News discussions

• Programming and Proving in Agda [pdf] (4 points, 0 comments, by todsacerdoti, 2022-10-26)