diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-15 09:46:14 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-15 09:46:14 +0330 |
| commit | 903e57850e6678f85c5f26cecf6ec318564ae139 (patch) | |
| tree | 19fb6944dc0fdcf4c54a1582c0cfb6573f93aa26 /examples/learn/35-io.out | |
| parent | xref: baseline records the prover's writers of ft_ln (bin, kw_for), xub and x... (diff) | |
| parent | lsp: prefer the rt import fix when a library group wraps the same name (diff) | |
merge work/stdio: std.Io and one-level module completion
Diffstat (limited to 'examples/learn/35-io.out')
| -rw-r--r-- | examples/learn/35-io.out | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/examples/learn/35-io.out b/examples/learn/35-io.out new file mode 100644 index 0000000..9aa7f64 --- /dev/null +++ b/examples/learn/35-io.out @@ -0,0 +1,3 @@ +total: 42 +ratio: 0.250000 +done |