From 6d14333e529b2d8db274a50b94e86619c6bbaf3a Mon Sep 17 00:00:00 2001 From: Mark <96270320+rm-dr@users.noreply.github.com> Date: Mon, 27 Nov 2023 14:19:24 -0800 Subject: [PATCH] Update README.md --- README.md | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 5035d97..fa2bebe 100644 --- a/README.md +++ b/README.md @@ -1,11 +1,8 @@ # 🐑 Lamb: A Lambda Calculus Engine - - [Primary Repo](https://git.betalupi.com/Mark/lamb) - - [Github Mirror](https://github.com/rm-dr/lamb) +![Lamb Demo](https://github.com/rm-dr/lamb/assets/96270320/d518e344-e7c8-47ed-89c4-7ce273bf4e2d) -![Lamb demo](https://betalupi.com/static/git/lambdemo.gif) - ## :brain: What is lambda calculus? @@ -121,4 +118,4 @@ The lines in a file look exactly the same as regular entries in the prompt, but - Better syntax highlighting - Tab-complete file names and commands - Load default macros without manually downloading `macros.lamb` (via `requests`, maybe?) - - Tests \ No newline at end of file + - Tests