| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Give a view a body that computes and returns its value (Pure 018) | eunhhu | 2026-10-04 | 1 | -0/+44 |
| | | |||||
| * | Count with for i in a .. b, break, nest fors and let an event's own lists ↵ | eunhhu | 2026-10-04 | 1 | -0/+120 |
| (Pure 018) | |||||
 |
index : aup | |
| Declarative systems language and compiler targeting verified Pure modules. | Yeowoo Labs |
| aboutsummaryrefslogtreecommitdiffstats |