| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | bounds checking: constant loop bound proof works, plain-op fixed-array check,... |  zinc
| 2026-10-14 | 1 | -1/+1 |
| * | agent/spec-conformance: unmerged work from previous session | zinc
| 2026-10-14 | 1 | -0/+8 |
 |
index : moon/zygotec | |
| work-in-progress programming language. |
| aboutsummaryrefslogtreecommitdiff |