FunVM - a Functional Intermediate Language

A superset of the lambda calculus, intended to be used as low-level intermedate language for functional languages. Similar to .NETs common intermediate language, or Java bytecode.

Just an experiment for now.