New Twitter Mentions for agdakx

Type Theory Forall artwork
@agdakx was mentioned in #16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx
Type Theory Forall
Filter by Podcast