From 4847f0a9a409fee351a3e84306d1adb73d676161 Mon Sep 17 00:00:00 2001 From: Mark Date: Fri, 28 Oct 2022 19:48:12 -0700 Subject: [PATCH] Minor improvements --- .vscode/settings.json | 1 + README.md | 4 +--- lamb/commands.py | 3 +++ 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/.vscode/settings.json b/.vscode/settings.json index af7b709..a432fdc 100755 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -6,6 +6,7 @@ "onefile", "Packrat", "pyparsing", + "rlimit", "runstatus", "srange", "subvar" diff --git a/README.md b/README.md index 7c7c568..0fc13c0 100644 --- a/README.md +++ b/README.md @@ -13,12 +13,10 @@ - Command and macro autocomplete - step-by-step reduction - Syntax highlighting: parenthesis, bound variables, macros, etc - - Pin header to top of screen - PyPi package - Smart alignment in all printouts - Full-reduce option - - Set reduction limit command - - Runtime limit + - Free variable warning ## Mention in Docs - lambda functions only work with single-letter arguments diff --git a/lamb/commands.py b/lamb/commands.py index 89db20b..e165c99 100644 --- a/lamb/commands.py +++ b/lamb/commands.py @@ -263,6 +263,7 @@ def help(command, runner) -> None: printf( HTML( "\n" + + "Usage:" + "\n" + "\tWrite lambda expressions using your \\ key." + @@ -277,6 +278,8 @@ def help(command, runner) -> None: f"\t{name} \t {text}" for name, text in help_texts.items() ]) + + "\n\n" + "Detailed documentation can be found on this project's git page." + "" ), style = lamb.utils.style