This is a compiler for a typed lambda calculus targeting the x86 architecture. Includes a parser, type checker, and compiler.
See project.org for more information about the current status of this compiler.
The main entry point is in compiler.rkt; you can see examples of how to run it under the “Tests” header.