mechanicals - Various implementations of the lambda calculus and friends.

	Commit message (Collapse)	Author	Age
*	minor identifier changes	JJ	2024-10-24
\|
*	split lib into lib and base; move tests to separate files & directory	JJ	2024-07-29
\|
*	stlc-dll, stlc-ext: split term and type equality	JJ	2024-07-27
\|
*	backport check case reduction	JJ	2024-07-27
\|
*	backport check refactorings	JJ	2024-07-16
\|
*	backport interpret-/infer-/check- renaming and remove implicit params	JJ	2024-07-15
\|
*	stlc-ext, stlc-rec: backport bug fixes	JJ	2024-06-24
\|
*	broadly switch to infix operators	JJ	2024-06-21
\|
*	stlc-ext: conditional fixes and tests	JJ	2024-06-20
\|
*	stlc-ext: ascryption fixes	JJ	2024-06-20
\|
*	go all in on unicode: rename ctx and heap to \Gamma and \Sigma	JJ	2024-06-20
\|
*	stlc-ext: typecheck boolean and natural operations	JJ	2024-06-20
\|
*	add some typing rules, minor fixes	JJ	2024-06-20
\|
*	stlc-ext: add primitive operations on booleans and naturals	JJ	2024-06-17
\|
*	implement the simply-typed lambda calculus with simple extensions	JJ	2024-06-16