diff --git a/README.md b/README.md new file mode 100644 index 0000000..7a24615 --- /dev/null +++ b/README.md @@ -0,0 +1,12 @@ +# Lamb + +A (very WIP) lambda expression evaluator and debugger. + +I'd like to build the following: + +- [ ] parsing with parsec +- [ ] 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 +- [ ] online web-based lambda playground