Some videos of talks we have given about our work in various different venues.
TyDe 2020 workshop (online) “Towards Graded Modal Type Theory” (Benjamin Moon)
[podcast] The Typechecker Ep. 2: Granule (feat. Dr. Dominic Orchard)
CodeMesh London 2019 (Dominic Orchard)
ICFP 2019, Berlin (Vilem-Benjamin Liepelt)
TypeLevel Summit, Lausanne 2019 (Vilem-Benjamin Liepelt)