Ugly Alpha 1
tnt:1.0.0

total uncompressed bytes

112.6 KB

total files

23

Fix

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

8 wasted files

total waste: 19.8 KB

  1. examples/addition_snip.PNG : 13.0 KB
  2. examples/commutativity.rs : 2.5 KB
  3. examples/decision_problems.rs : 1.3 KB
  4. examples/arithmetization.rs : 901 B
  5. examples/addition.rs : 836 B
  6. examples/translation.rs : 665 B
  7. examples/construction.rs : 509 B
  8. .gitignore : 54 B