Version 0.1.0

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