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

Update README.md

Browse Source
This commit is contained in:
Mark 2023-11-27 14:19:24 -08:00 committed by GitHub
parent d2f8b1c8fb
commit 6d14333e52
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
README.md
View File

@ -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
- Tests