Mark
/
lamb
Archived
1
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Compare commits

base: Mark:5bff77e4a76c016c0b1cf77b6b2dcec959917d0f
Branches Tags
Mark:master
..
compare: Mark:ab9057148a480b64a3eef2ec4cbb551b4d486140
Branches Tags
Mark:master

No commits in common. "5bff77e4a76c016c0b1cf77b6b2dcec959917d0f" and "ab9057148a480b64a3eef2ec4cbb551b4d486140" have entirely different histories.
5bff77e4a7 ... ab9057148a

1 changed files with 7 additions and 3 deletions
Show Stats Expand all files Collapse all files

8
README.md
View File

@ -1,8 +1,11 @@
# 🐑 Lamb: A Lambda Calculus Engine # 🐑 Lamb: A Lambda Calculus Engine
![Lamb Demo](https://github.com/rm-dr/lamb/assets/96270320/d518e344-e7c8-47ed-89c4-7ce273bf4e2d) - [Primary Repo](https://git.betalupi.com/Mark/lamb)
- [Github Mirror](https://github.com/rm-dr/lamb)
![Lamb demo](https://static.betalupi.com/images/lambdemo.gif)
## :brain: What is lambda calculus? ## :brain: What is lambda calculus?
@ -12,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. - [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. - [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 ## :package: Installation
@ -117,3 +120,4 @@ The lines in a file look exactly the same as regular entries in the prompt, but
- Better syntax highlighting - Better syntax highlighting
- Tab-complete file names and commands - Tab-complete file names and commands
- Load default macros without manually downloading `macros.lamb` (via `requests`, maybe?) - Load default macros without manually downloading `macros.lamb` (via `requests`, maybe?)
- Web demo