Jesper Cockx
Results
6
repositories owned by
Jesper Cockx
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
59
Stars
3
Forks
59
Watchers
A work-in-progress core language for Agda, in Agda