jingus/lamb
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update readme, add tests for run

Browse source
This commit is contained in:
jingus 2026-05-16 18:10:43 -05:00
parent d916288565
commit 9d209fee17
2 changed files with 66 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -6,7 +6,7 @@ I'd like to build the following:
- [X] parsing with parsec
- need to harden tests a bit more but existing tests pass
- [ ] alpha/beta reduction to beta normal
- [X] alpha/beta reduction to beta normal
- [ ] substitutions for known abstractions (numbers can be written and are displayed as numbers rather than lambda terms)
- [ ] persisted variables
- [ ] display all steps in alpha/beta reductions until beta normal form is reached