From c07edf1b50bb3f1f198a599a4affb550ff030b86 Mon Sep 17 00:00:00 2001 From: Mark Date: Mon, 16 Oct 2023 21:17:27 -0700 Subject: [PATCH] Updated README.md --- README.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 73da7bf..081c731 100644 --- a/README.md +++ b/README.md @@ -15,7 +15,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://static.betalupi.com/ormc/Advanced/Lambda%20Calculus.pdf): A handout I've written on lambda calculus. Solutions are available through a link elsewhere on this site,you'll have to find them yourself. + - [my handout](https://static.betalupi.com/ormc/Advanced/Lambda%20Calculus.pdf): A handout I've written on lambda calculus. Solutions are available through a link elsewhere on this site, which you'll have to find yourself. ## :package: Installation @@ -116,9 +116,8 @@ The lines in a file look exactly the same as regular entries in the prompt, but - Cleanup warnings - Truncate long expressions in warnings - Loop detection - - α-equivalence check - Unchurch command: make church numerals human-readable - 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 + - Web demo \ No newline at end of file