mechanicals - Various implementations of the lambda calculus and friends.

	Commit message (Collapse)	Author	Age
*	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
\|
*	add some typing rules, minor fixes	JJ	2024-06-20
\|
*	stlc-*: do not throw errors within check	JJ	2024-06-15
\|
*	stlc-pred: clean up code	JJ	2024-06-15
\|
*	stlc-pred: use stlc-ref interpret impl	JJ	2024-06-15
\|
*	lib: provide desugaring function	JJ	2024-06-08
\|
*	lib: provide fmt and strip functions	JJ	2024-06-08
\|
*	stld-pred: bugfixes	JJ	2024-06-05
\|
*	stlc-pred: rewrite to follow typing rules directly	JJ	2024-05-29
\|
*	implement the simply-typed lambda calculus with typechecked predicative ↵	JJ	2024-05-24
	references