diff --git a/README.md b/README.md index 47a2f21..7c7c568 100644 --- a/README.md +++ b/README.md @@ -9,10 +9,9 @@ - Print macro content if only a macro is typed ## Todo: - - live syntax check + - History accessible in prompt - Command and macro autocomplete - step-by-step reduction - - Maybe a better icon? - Syntax highlighting: parenthesis, bound variables, macros, etc - Pin header to top of screen - PyPi package diff --git a/misc/lamb.svg b/misc/lamb.svg index c4003a7..b499652 100644 --- a/misc/lamb.svg +++ b/misc/lamb.svg @@ -2,17 +2,14 @@ λ + id="layer1">