path: root/README.md

# the mechanicals

Various implementations of the lambda calculus (and friends).

The code here is hopefully pretty readable: but makes heavy use of quasiquoting. For an introduction, see [*Explaining Lisp's quoting without getting tangled*](https://cadence.moe/blog/2022-10-17-explaining-lisp-quoting-without-getting-tangled).