Erlang Compiler for Lambda calculus with Swap Channels and integers.