This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
Jesper Cockx - EUTYPES '19 Summer School in Ohrid Jesper Cockx Home Blog Papers Talks Teaching Links EUTYPES '19 Summer School in Ohrid Posted by Jesper on September 13, 2019 I gave a course about Correct-by-Construction Programming in Agda at the EUTYPES summer school in Ohrid. The course materials are available here . Site proudly generated by Hakyll
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.