The interpreter implemetation is pretty bad. It's not very fast, it's not very good, and it's probably not very correct. But maybe there's some vaguely interesting programs you could write with it!
For example, the Y combinator:
λf. (λx. f (x x)) (λx. f (x x))
\` \`1 `0 0 \`1 `0 0