Modules

• Fallible A monad for handling computations that fail with an error
• Main Compiles from Moses to SK-combinators and runs the result
• MosesAST
• MosesParser A parser for lambda-calculus programs
• ParserBase
• ParserCombinators Re-definitions of basic parsers and parser combinators from class and lab . Also, some definitions of more parser combinators.
• SKAST Abstract syntax for SK combinators
• SKRun Compiles from Moses to SK combinators and evaluates an SK-combinator expression.
• Transforms Desugar a Moses expression and lower it towards SK combinators
• Typecheck