total uncompressed bytes
88.4 KB
total files
25
Fix
16 wasted files
total waste: 15.4 KB
- specification/specification.latex : 8.5 KB
- specification/RATIONALE.md : 2.7 KB
- specification/specification.bib : 1.5 KB
- tests/tester.rs : 1.1 KB
- makefile : 835 B
- specification/eval.md : 372 B
- specification/makefile : 218 B
- .gitignore : 128 B
- rustfmt.toml : 33 B
- examples/basic.tko : 21 B
- tests/addition-4.tko : 12 B
- tests/addition-3.tko : 10 B
- tests/divide-by-zero.tko : 8 B
- tests/addition-2.tko : 8 B
- tests/addition-1.tko : 6 B
- tests/addition-0.tko : 4 B