This page has moved to https://lex-0.org/specification.html.