6 ms·The exploration of type theory in this blog post is quite interestingby Harmohit 2y agoThe exploration of type theory in this blog post is quite interesting