Now these are some cool resources! Thank you for providing them.

I'm really starting to enjoy Joy, J, FP, and other languages based on a similar combinator-like basis. I'll have to read over Compiling to Categories, because that certainly is something that catches my eye.