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