popl19-tutorial
popl19-tutorial copied to clipboard
Published
20 hours ago •
jespercockx
jespercockx
Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
Results
0
popl19-tutorial issues
Sort by
recently updated
recently updated
newest added
Metadata
26
Stars
0
Forks
Watchers
Owner
Metadata
Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais