From 87d674d80ee396d25b1b4f045ac1c540c27c0063 Mon Sep 17 00:00:00 2001 From: JJ Date: Wed, 22 May 2024 12:07:12 -0700 Subject: readme: add description --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 5a50aeb..798e8a1 100644 --- a/README.md +++ b/README.md @@ -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). -- cgit v1.2.3-70-g09d2