great example! as someone who writes a Fold function every day, this explains the power of the language very well. ;)

As is clearly explained on the web page, this is not a programming language for everyday tasks, it's an early stage proof of concept that can be used to explore how computer science might be expressed in unusual ways.

Implementing fold would be something of a milestone in such a language.