liesnikov / pl-group-retreat-workshop-2022 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jespercockx/ohrid19-agda
Material for the Agda course at the PL retreat 2022. https://liesnikov.github.io/pl-group-retreat-workshop-2022/