Do you mean:

https://eyg.run/

Is this typo on the web page or in the language?

>type missmatch given: Integer expected: String

or is this an intentional phrasing to match the following text?