Documentation

The authoritative Kyllo technical reference is the documentation site at kyllo-docs.pages.dev. This page is a curated set of entry points into it — it does not duplicate the specification, and it does not compete with it. Where this website and the documentation disagree, the documentation wins.

Documentation version v0.2.8. Specification v0.1 Initial Draft: 102 pages from 81 source files, 56 TECHSPEC sections. Note: TECHSPEC-22's file and Section 27 are missing in the source material, and file and section numbers diverge from TECHSPEC-23 onward.

Every link below was checked and returned HTTP 200 when this site was built. The changelog has no page on the documentation site, so no changelog link is listed here — the changelog is summarised on the Project page instead.

Start here

Language reference

Technical specification

Design decisions

Compiler architecture

Verification

Unresolved questions