Lambda-Calculus
Iocularia is an untyped language that allows for mutual recursion, and can be converted to De Brujin leveled lambda calculus and be reduced by this tool.
Signatures
Modules
- Lambda
- Lambda.Combinators Lambda Combinators
- Lambda.Lambda Lambda reducer
- Lambda.Parser Parses lambda code.
- Main A treat
- Parsers Parser helper functions
- Paths_Lambda_Calculus
- Transpiler
- Transpiler.Conversion Converts between the Equation type and the Lambda type.
- Transpiler.Parser Parses Iocularia code.
- Transpiler.Scope Scope helper functions