[Tabzz98]

Is there any online material on this language?

[feniv]

Not yet. I've specced it out, but still working on the implementation. Here's a hand-written example showing how you can specify the constraints to validate a Knight's tour. You can then enumerate over the types to get valid tours.

https://gist.github.com/Feni/d819f120a7d179bc472c94df9471e60...