Ok, added an example lambda calculus which needs support for substitution.
Ok, added an example lambda calculus which needs support for substitution.

Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler