So, let’s talk about the practical application of type theory. I know many of us get into type theory simply because we want to learn more about ourselves or maybe just think it’s an interesting hobby. If that’s your reasoning, that’s great, but if you want to take things a step further; there are quite […]