SkillsCast

Programming Language Foundations in Agda

13th May 2019 in Melbourne

There are 27 other SkillsCasts available from YOW! Lambda Jam 2019