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

Updated README

Browse Source
This commit is contained in:
Mark 2022-10-29 15:45:27 -07:00
parent 01e542f88c
commit 8d05de58f7
Signed by: Mark
GPG Key ID: AD62BB059C2AAEE4
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -80,8 +80,9 @@ Lamb treats each λ expression as a binary tree. Variable binding and reduction
- Prevent macro-chaining recursion
- step-by-step reduction
- Full-reduce option (expand all macros)
- Show a warning when a free variable is created
- PyPi package
- Cleanup warnings
- History queue
## Todo: