|
|
|
|
@ -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)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
## :brain: What is lambda calculus?
|
|
|
|
|
|
|
|
|
|
@ -15,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.
|
|
|
|
|
|
|
|
|
|
- [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.
|
|
|
|
|
- [handout](https://static.betalupi.com/ormc/Advanced/Lambda%20Calculus.pdf): A handout I've written on lambda calculus.
|
|
|
|
|
|
|
|
|
|
## :package: Installation
|
|
|
|
|
|
|
|
|
|
@ -120,4 +117,3 @@ 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?)
|
|
|
|
|
- Web demo
|
Mark