Initial 🪄 Lambdabus 🪄 Release
Features
- Lambda Expression Parsing from String
- α-, β- and η-Reductions
- Normal-order Reduction
- Printing including color-coded bound variables and implicit parenthesis
- Syntax Tree
- Free Variables
- Checks wether an expression is normalizable or in normal form