Search
❯
23 Jul 20261 min read
A in type theory, a term is said to be closed when it is in the empty context.