I'm working (slowly) on an interpreter for a minimal, non-strict, pure untyped lambda calculus. Bonus features include syntactic whitespace, some basic optimizations, simple tracing/debugging features, and support for "compiling" multiple source files into a single program.

No, it's not supposed to be useful.