SkillsCast

Keynote: (Programming Languages) in Agda = Programming (Languages in Agda)

10th October 2019 in London

There are 34 other SkillsCasts available from Haskell eXchange 2019