3 ms·Type Theory Forall #39: Equality, Quotation, Bidirectional Type Checking2 points by matt_d 2y agoeimrine 2y agoI am excited of discovering a podcast about the type theory!