diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-15 08:58:56 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-15 08:58:56 +0330 |
| commit | 88fffdc0d4aacc007c3b2b9b2d2aab35d171c21a (patch) | |
| tree | 954da95d9a257ced63b1beb0a048070c7dafcad0 /examples/typed.zc | |
| parent | todo: overnight freelist-inline done-gate met with trees timings (diff) | |
xref: baseline records the prover's writers of ft_ln (bin, kw_for), xub and xubat (bin)
Diffstat (limited to 'examples/typed.zc')
0 files changed, 0 insertions, 0 deletions