From 6e17963d91b09888bc80be8e09e38ab1fb293078 Mon Sep 17 00:00:00 2001 From: Mark Date: Fri, 28 Oct 2022 19:42:32 -0700 Subject: [PATCH] Changed icon --- README.md | 3 +- misc/lamb.svg | 102 ++++++++++---------------------------------------- 2 files changed, 21 insertions(+), 84 deletions(-) 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">