Thanks for the examples and links! Hmm… the programming language examples definitely give me some more “grounding” for the concepts. I also just discovered your recent post, but to be honest a lot of it like the type two theory of effectivity is above my head at the moment.
Thanks for the examples and links! Hmm… the programming language examples definitely give me some more “grounding” for the concepts. I also just discovered your recent post, but to be honest a lot of it like the type two theory of effectivity is above my head at the moment.