mechanicals - Various implementations of the lambda calculus and friends.

	Commit message (Collapse)	Author	Age
*	refactor all implementations to use contracts	JJ	2024-10-24
\|
*	split lib into lib and base; move tests to separate files & directory	JJ	2024-07-29
\|
*	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
\|
*	broadly switch to infix operators	JJ	2024-06-21
\|
*	go all in on unicode: rename ctx and heap to \Gamma and \Sigma	JJ	2024-06-20
\|
*	stlc-*: do not throw errors within check	JJ	2024-06-15
\|
*	stlc-ref: rewrite, add type checker	JJ	2024-06-15
\|
*	lib: provide fmt and strip functions	JJ	2024-06-08
\|
*	implement the simply-typed lambda calculus with references	JJ	2024-05-22