 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
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)