Three documents from the repository, rendered here as they are: the decisions and why, the syntax and what it becomes, and the map. They are written in English.
What KealSql is, why a transpiler, Bool3, keys and references, migrations, plkeal, the client, the escape hatch.
The syntax in EBNF, the rules the checker enforces, and the SQL each construct compiles to.
Running it, the layout of the repository, and what is covered.