Sounds interesting. I think the web page would benefit from some examples of what code in this language looks like.

From scanning the user manual[1] it looks a lot like Prolog, but I can't see any complete example programs.

[1] http://www.call-with-current-continuation.org/microfleng/MAN...

There is a larger example withinin the provided archive, I can't link to that, so I put it in a gist over here:

https://gist.github.com/eterps/8019b0d78fe3bdf2c412534440289...

There are some really clever tricks applied here to include uxn as a platform target. Still trying to wrap my head around it (also because I am not too familiar yet with uxn itself).

absolutely love his level documentation for such a niche project. Also love FGHC on a theoretical level but I've never had anything to use it for that Prolog wasn't a better choice from a library perspective.