From d88a7ff77f5d88e233785f8ed8407bb338625068 Mon Sep 17 00:00:00 2001 From: Mark Date: Tue, 1 Nov 2022 20:48:43 -0700 Subject: [PATCH] README --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 5299adb..9e3f268 100644 --- a/README.md +++ b/README.md @@ -74,7 +74,7 @@ Lamb treats each λ expression as a binary tree. Variable binding and reduction ------------------------------------------------- -## Todo (pre-release): +## Todo (pre-release, in this order): - Prettier colors - Cleanup warnings - Truncate long expressions in warnings @@ -82,6 +82,7 @@ Lamb treats each λ expression as a binary tree. Variable binding and reduction - Full-reduce option (expand all macros) - step-by-step reduction - Cleanup files + - Update screenshot - PyPi package @@ -93,4 +94,5 @@ Lamb treats each λ expression as a binary tree. Variable binding and reduction - $\alpha$-equivalence check - Command-line options (load a file, run a set of commands) - Unchurch macro: make church numerals human-readable - - Syntax highlighting: parenthesis, bound variables, macros, etc \ No newline at end of file + - Syntax highlighting: parenthesis, bound variables, macros, etc + - Tests \ No newline at end of file