4 ms·A podcast about type theory and other programming language design topics? Oh well auto subscribe :)by anta40 2y agoA podcast about type theory and other programming language design topics? Oh well auto subscribe :)