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

Updated README.md

master
Mark 2023-10-16 21:17:27 -07:00
parent 1bb0b91e20
commit c07edf1b50
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
README.md
View File

@ -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. - [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 ## :package: Installation
@ -116,9 +116,8 @@ The lines in a file look exactly the same as regular entries in the prompt, but
- Cleanup warnings - Cleanup warnings
- Truncate long expressions in warnings - Truncate long expressions in warnings
- Loop detection - Loop detection
- α-equivalence check
- Unchurch command: make church numerals human-readable - Unchurch command: make church numerals human-readable
- 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?)
- Tests - Web demo