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 1/2] 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 From 8c8ea69890a3edb3576326f204baa8dd3996bef0 Mon Sep 17 00:00:00 2001 From: Mark <96270320+rm-dr@users.noreply.github.com> Date: Mon, 27 Nov 2023 14:21:13 -0800 Subject: [PATCH 2/2] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index fa2bebe..4426ee7 100644 --- a/README.md +++ b/README.md @@ -12,7 +12,7 @@ - [blog](https://www.driverlesscrocodile.com/technology/lambda-calculus-for-people-a-step-behind-me-1): Another introduction. Moves slower than the two videos above and doesn't assume CS knowledge. Four-part series. - - [handout](https://nc.betalupi.com/s/ormc-handouts/download?path=%2FAdvanced&files=Lambda%20Calculus.pdf): A handout I've written on lambda calculus. Solutions are available somewhere on `git.betalupi.com`. You'll have to find them yourself if you want them. + - [handout](https://static.betalupi.com/ormc/Advanced/Lambda%20Calculus.pdf): A handout I've written on lambda calculus. ## :package: Installation