| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Walk lists with for, and take a message's rows | eunhhu | 2026-09-28 | 1 | -12/+165 |
| * | Let a fold in a column read the column's row | eunhhu | 2026-09-28 | 1 | -4/+4 |
| * | Name aup's one part: compiler/ | eunhhu | 2026-09-27 | 1 | -0/+2369 |
 |
index : aup | |
| Declarative systems language and compiler targeting verified Pure modules. | Yeowoo Labs |
| aboutsummaryrefslogtreecommitdiffstats |