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: