From 73b803a1b031787f3862c1469e3f621afbbcdd32 Mon Sep 17 00:00:00 2001 From: Mark Date: Mon, 31 Oct 2022 08:27:28 -0700 Subject: [PATCH] Minor cleanup --- .vscode/settings.json | 1 + README.md | 1 + 2 files changed, 2 insertions(+) diff --git a/.vscode/settings.json b/.vscode/settings.json index a432fdc..fe79e09 100755 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -1,6 +1,7 @@ { "cSpell.words": [ "autochurch", + "Endnodes", "freevar", "mdel", "onefile", diff --git a/README.md b/README.md index 22fa86a..52dcaf7 100644 --- a/README.md +++ b/README.md @@ -83,6 +83,7 @@ Lamb treats each λ expression as a binary tree. Variable binding and reduction - Cleanup warnings - Preprocess method: bind, macros to free, etc - History queue + - Truncate long expressions in warnings ## Todo: