/**
 * Translate Fun programs to lambda expressions.
 *
 * @author Jacob Andersen
 */


letx
  lpl = idx("logic.l" + "pairs.l" + "locals.l")
in letx
  lit = "literals2unsignedArith.x" + "compare2.x" + idx("signedArith.l") + lpl
in
    "fun2.x" +
    "funCompare.x" +
    "funSigned.x" +
    "funTypesafe.x"
  |
    lit + idx("typesafe.l")
  |
    "typesafe2.x"
  |
    lit
  |
    "signedArith2.x" + lpl
  |
    "unsignedArith2lambda.x" +
    "logic2lambda.x" +
    "pairs2lambda.x" +
    "locals2lambda.x"