3 ms·I am excited of discovering a podcast about the type theory!by eimrine 2y agoI am excited of discovering a podcast about the type theory!