Browse the language book, the formal specifications, and the published design documents under docs/design/.
docs/design/