Ugly Alpha 1
tnt:1.0.1

total uncompressed bytes

322.4 KB

total files

27

Fix

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

11 wasted files

total waste: 222.2 KB

  1. primer.pdf : 86.4 KB
  2. commutativity.pdf : 62.4 KB
  3. addition.pdf : 53.6 KB
  4. examples/addition_snip.PNG : 13.0 KB
  5. examples/commutativity.rs : 2.5 KB
  6. examples/decision_problems.rs : 1.3 KB
  7. examples/arithmetization.rs : 901 B
  8. examples/addition.rs : 836 B
  9. examples/translation.rs : 665 B
  10. examples/construction.rs : 509 B
  11. .gitignore : 48 B