| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Set the DSL direction and the text model | eunhhu | 2026-09-25 | 1 | -0/+70 | |
| | | | | | | | | | | | aup declares connections and leaves storage, transactions and screen models to Pure. Interface vocabulary lives in Vega, an aup library, not in the language. text is one immutable UTF-8 type from a word to a 1 MiB document; positions are cursors bound to a value that stay on character boundaries and follow edits, lengths name their unit, and comparison is exact without silent normalization. Stages v0b-v0d and their acceptance tests are listed. | |||||
| * | Charter aup and specify language v0 | eunhhu | 2026-09-25 | 1 | -0/+110 | |
| aup is the language and toolchain for the Pure runtime, as Java and javac are for the JVM. v0a unifies the workbench scalar dialect (state, key inputs, atomic handlers, views) with the same numeric semantics; v0b drafts byte values and runtime-owned persistent documents to replace the document dialect. Parity with the existing executors is the acceptance test. | ||||||
 |
index : aup | |
| Declarative systems language and compiler targeting verified Pure modules. | Yeowoo Labs |
| aboutsummaryrefslogtreecommitdiffstats |