| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Give aup an i64: exact integers, and literals typed by what they meet | eunhhu | 2026-09-30 | 1 | -1/+1 |
| * | Give aup a bool: true and false, and conditions that take one | eunhhu | 2026-09-30 | 1 | -1/+1 |
| * | Build Pure's hosts from its top level | eunhhu | 2026-09-27 | 1 | -6/+6 |
| * | Add keyed lists and text comparison | eunhhu | 2026-09-26 | 1 | -1/+1 |
| * | Add aup watch: build again when what a build read changes | eunhhu | 2026-09-26 | 1 | -0/+1 |
| * | Check declared state across restarts | eunhhu | 2026-09-25 | 1 | -1/+2 |
| * | Record Vega's first component in the plan | eunhhu | 2026-09-25 | 1 | -1/+1 |
| * | Add fns and libraries | eunhhu | 2026-09-25 | 1 | -1/+1 |
| * | Add conditional expressions and table views | eunhhu | 2026-09-25 | 1 | -1/+1 |
| * | Add records, lists and indices | eunhhu | 2026-09-25 | 1 | -3/+5 |
| * | Document the text language as implemented | eunhhu | 2026-09-25 | 1 | -3/+5 |
| * | Compile messages and keyed documents to module v2 | eunhhu | 2026-09-25 | 1 | -2/+5 |
| * | Compile v0a programs to verified Pure modules | eunhhu | 2026-09-25 | 1 | -1/+12 |
| * | Charter aup and specify language v0 | eunhhu | 2026-09-25 | 1 | -0/+20 |
 |
index : aup | |
| Declarative systems language and compiler targeting verified Pure modules. | Yeowoo Labs |
| aboutsummaryrefslogtreecommitdiffstats |