mechanicals - Various implementations of the lambda calculus and friends.

	Commit message (Collapse)	Author	Age
*	stlc-dll: rename interpret-, remove optional parameters	JJ	2024-07-04
\|
*	stlc-dll: reduce annotations on tests, reimplement doubly linked lists	JJ	2024-06-29
\|
*	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: significantly reduce cases in check by calling over to infer ↵	JJ	2024-06-29
\| \| \| \|	whenever possible
*	stlc-dll: require inl/inr to be externally annotated	JJ	2024-06-28
\|
*	stlc-dll: expand types properly, support unannotated folds, write tests	JJ	2024-06-24
\|
*	stlc-dll: major bugfixes	JJ	2024-06-24
\|
*	broadly switch to infix operators	JJ	2024-06-21
\|
*	stlc-dll: initial implementation	JJ	2024-06-20