| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [willow]: verifier work (#3) | Stefan Weigl-Bosker | 2026-01-12 | 14 | -116/+321 |
| * | [willow]: Diagnostics and plumbing (#2) | Stefan Weigl-Bosker | 2026-01-11 | 5 | -0/+148 |
| * | feat: value abstraction (#1) | Stefan Weigl-Bosker | 2026-01-10 | 5 | -26/+264 |
| * | init | Stefan Weigl-Bosker | 2026-01-10 | 8 | -0/+552 |