mechanicals - Various implementations of the lambda calculus and friends.

	Commit message (Collapse)	Author	Age
*	lib: fix bug in desugaring match	JJ	2024-06-15
\|
*	stlc-pred: clean up code	JJ	2024-06-15
\|
*	stlc-pred: use stlc-ref interpret impl	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
\|
*	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
*	implement various combinators in terms of the lambda calculus	JJ	2024-05-22
\|
*	lc: implement α-conversion and β-reduction separately	JJ	2024-05-22
\|
*	lc, stlc-let: rewrite interpreter	JJ	2024-05-22
\|
*	readme: add description	JJ	2024-05-22
\|
*	implement the simply-typed lambda calculus with references	JJ	2024-05-22
\|
*	stlc-let: fixes to check/infer functions	JJ	2024-05-15
\|
*	stlc-let: capture environments in closures	JJ	2024-05-15
\|
*	stlc-let: implementation fixes & tests	JJ	2024-05-15
\|
*	implement the simply-typed lambda calculus	JJ	2024-05-15
\|
*	initial commit	JJ	2024-05-15