Posted on April 4, 2019 by Marko Dimjašević If you’re a programmer and you want to understand what is homotopy type theory about, Dan Licata has a talk on the topic. Tags: Agda, homotopy type theory, program optimisation, type theory, ephemera, functional programming