Overview

Goals:
    backends:
        - LLVM
        - Mono
        - Native x86_64
        - Native x86

    optimizations:
        - CPS, from Appel's book and Kennedy's article

    program transformations:
        - defunctionalization


Status:
    language: simple lambda calculus
    ir language: CPS from Appel's book
    parser: need operator precedence

Todo:
    - do CORE language, and translations FL -> CORE, CORE -> IR