3 ms·That whole blog is one big and fascinating rabbit hole into type theory! Thanks for the link!by codethief 8mo agoThat whole blog is one big and fascinating rabbit hole into type theory! Thanks for the link!