diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-15 09:42:25 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-15 09:42:25 +0330 |
| commit | de4da84ca3159ad0ebcf13729716be5f4d7bbc2a (patch) | |
| tree | 216f00007206fdc15dccd3327884b4c0dad94446 /examples/learn/35-io.out | |
| parent | xref: baseline records the prover's writers of ft_ln (bin, kw_for), xub and x... (diff) | |
std: add std.Io (print, println, nl, put_*, put_f, get_c, eof, read, getline) with test, learn example and docs
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 |