SkillsCast

(Programming Languages) in Agda = Programming (Languages in Agda)

13th May 2019 in Melbourne

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