jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

3 mentions on Hacker News by 2 people: 1 story, 2 comments · first 2022-10-26 · latest 2023-06-30

Mentions per year 3 mentions · busiest year 2023 (2)

20082026

All Stories Comments Newest Top Oldest

…has been much more enlightening for me (the amateur hobbyist) was agda and Jesper Cockx's tutorial- https://github.com/jespercockx/agda-lecture-notes/blob/maste... he builds up all of the notation from, well, nothing. for example, you get…
comment by jfoutz · 2023-06-30 · in Will Computers Redefine the Roots of Math?
I'd throw in Agda with that list. I've enjoyed https://github.com/jespercockx/agda-lecture-notes/blob/maste... > Also, won't learning two things at once be harder than learning each independently? kind of, yes. But it's kind of funny.…
comment by jfoutz · 2023-05-03 · in A Programmer's Introduction to Mathematics
▲ 4
Programming and Proving in Agda [pdf]
story by todsacerdoti · 2022-10-26 · 0 comments