Hacker GitHub

← All repos

jespercockx/agda-lecture-notes

View on GitHub ↗ ★ 135 TeX

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
AllStoriesComments NewestTopOldest
  1. ▲ 4
    Programming and Proving in Agda [pdf]
    story by todsacerdoti · 2022-10-26 · 0 comments