lambda calculus in haskell

LAMbda Evaluater - A small Scheme-like language that compiles to the lambda calculus

Haskell Type Language parsing, token generation, type checker, expression evaluator, lambda expression evaluator with parse tree and ast generation and error raising with function support and argument support and preorder evaluator

Lambda expressions and strategies for reducing expressions. It supports evaluation, parsing, and macro usage for simpler expression writing.

Parser for lambda terms, written in Haskell, that is also able to execute a list of operations on the terms