diff options
| -rw-r--r-- | README.md | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,3 +1,5 @@ # the mechanicals -various implementations of the lambda calculus +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). |