From 39d32a9925b18d45412bbde57e8b5a608951c64a Mon Sep 17 00:00:00 2001 From: Mark Date: Wed, 9 Nov 2022 21:54:10 -0800 Subject: [PATCH] Updated README --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index f77dbc9..3a69956 100644 --- a/README.md +++ b/README.md @@ -77,7 +77,7 @@ The lines in a file look exactly the same as regular entries in the prompt, but ## Todo (pre-release, in this order): - - Truncate long expressions in warnings + - Fix unique bound variable printer - Prevent macro-chaining recursion - Full-reduce option (expand all macros) - step-by-step reduction @@ -90,6 +90,7 @@ The lines in a file look exactly the same as regular entries in the prompt, but ## Todo: - Cleanup warnings - Syntax highlight printouts + - Truncate long expressions in warnings - History queue + indexing - Show history command - Loop detection