14 lines
513 B
Markdown
14 lines
513 B
Markdown
# Lamb
|
|
|
|
A (very WIP) lambda expression evaluator and debugger.
|
|
|
|
I'd like to build the following:
|
|
|
|
- [X] parsing with parsec
|
|
- [X] alpha/beta reduction to beta normal
|
|
- [ ] substitutions for known abstractions (numbers can be written and are displayed as numbers rather than lambda terms)
|
|
- [ ] replace known terms in input
|
|
- [X] replace known terms in output
|
|
- [ ] persisted variables
|
|
- [ ] display all steps in alpha/beta reductions until beta normal form is reached
|
|
- [ ] online web-based lambda playground
|