jnfoster / reverse

Reversible Lambda Calculus

Description of Files:

• util.ml Defines useful HashSet module as well as functions that manipulate lists.

• ast.ml
  Defines the datatypes for the abstract syntax tree (AST) for the source language.

• state.ml For representing environments. Used in the translation to lifted-lambda expressions.

• lexer.mll

• parser.mly A lexer and parser for the source language.

• machine.ml Defines the instruction set of the stack machine and values on the stack.

• pprint.ml A pretty printer for the source and target languages.

• eval.ml The interpreter for the source and target languages. A stack-machine program can be run both forwards and backwards.

• compiler.ml Translates an expression in source language to stack machine instructions.

• main.ml The top level code that parses in an input file and runs the interpreter.

How to compile:

If you have make installed, you can simply type "make" at the command line.