Talk:Typing environment

I suggest deleting this page. I do not think the topic is sufficiently separate from type theory to deserve its own page. Mdnahas (talk) 01:06, 28 December 2021 (UTC)