[dillab2]

I like it. The structure of the code you write looks much more similar to what you would write on a piece of paper than Haskell (for instance, getting rid of in, the pulling into scope at the top). Not to mention the primitive version of the language also resembles how you would write in math much better than lambda calculus (which I acknowledge probably was never a goal of lambda calculus).

This doesn't present any examples of something that would be useful in the real world. But come-on, this was presented at a Haskell conference it looks like.

For anybody with an interest in the "mathish" flavor of functional languages, this certainly has a lot of promise as a foundation to build on.