mechanicals - Various implementations of the lambda calculus and friends.

	Commit message (Collapse)	Author	Age
*	stlc-dll: add back check cases, inline and fix replace, implement well-formed	JJ	2024-06-29
\|
*	stlc-dll: rename infer- and check-	JJ	2024-06-29
\|
*	stlc-dll: major bugfixes	JJ	2024-06-24
\|
*	broadly switch to infix operators	JJ	2024-06-21
\|
*	stlc-ext: ascryption fixes	JJ	2024-06-20
\|
*	add some typing rules, minor fixes	JJ	2024-06-20
\|
*	stlc-rec: initial implementation	JJ	2024-06-20
\|
*	implement the simply-typed lambda calculus with general recursion (fix)	JJ	2024-06-17
\|
*	implement the simply-typed lambda calculus with simple extensions	JJ	2024-06-16
\|
*	lib: fix bug in desugaring match	JJ	2024-06-15
\|
*	stlc-ref: rewrite, add type checker	JJ	2024-06-15
\|
*	lib: provide desugaring function	JJ	2024-06-08
\|
*	lib: provide fmt and strip functions	JJ	2024-06-08
\|
*	implement the simply-typed lambda calculus	JJ	2024-05-15