GitHub repository: liesnikov/ohrid19-agda
Description: Material for the Agda course at the EUTYPES Summer School '19 in Ohrid