It's a Forth. It's a Lisp. It's lambda calculus. It looks like fun and also something I'd never actually really use.