> All about type theory and functional programming
That’s quite an exaggeration. There’s a lot on here that is not related to type theory or functional programming.
That’s quite an exaggeration. There’s a lot on here that is not related to type theory or functional programming.