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.