Jesper Cockx
Results
7
repositories owned by
Jesper Cockx
agda-lecture-notes
116
Stars
13
Forks
Watchers
Agda lecture notes for the Functional Programming course at TU Delft
ataca
48
Stars
4
Forks
Watchers
A TACtic library for Agda
ohrid19-agda
23
Stars
4
Forks
Watchers
Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
popl19-tutorial
26
Stars
0
Forks
Watchers
Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
agda-core
37
Stars
3
Forks
Watchers
A work-in-progress core language for Agda, in Agda