Ugly Alpha 1
tnt:0.4.0

total uncompressed bytes

104.7 KB

total files

24

Fix

NewInclude { include: [ "src/**/*", "Cargo.*", "README.md", ], has_build_script: false, }

7 wasted files

total waste: 18.7 KB

  1. examples/addition_snip.PNG : 13.0 KB
  2. examples/commutativity.rs : 2.7 KB
  3. examples/arithmetization.rs : 881 B
  4. examples/addition.rs : 857 B
  5. examples/translation.rs : 653 B
  6. examples/construction.rs : 509 B
  7. .gitignore : 54 B