[JonChesterfield]

The website tells me it's simple over and over but not what it is. What're the semantics? Which mathematical system is this? What can it prove?

[litexlang]

Thank you Jon, I will put the semantics and the mathematical system behind online soon! Just give me some time!