Turned out that one was, as you said, a totally unrelated toy language, nothing like this hurl.dev one.