jespercockx
Follow
-
TU Delft
- jesper.sikanda.be
Block or Report
Block or report jespercockx
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
agda-lecture-notes
agda-lecture-notes PublicAgda lecture notes for the Functional Programming course at TU Delft
-
popl19-tutorial
popl19-tutorial PublicFiles for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
HTML 25
-
-
ohrid19-agda
ohrid19-agda PublicMaterial for the Agda course at the EUTYPES Summer School '19 in Ohrid
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.