Ugly Alpha 1
bounded-registers:0.1.1

total uncompressed bytes

334.6 KB

total files

12

Fix

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

5 wasted files

total waste: 284.7 KB

  1. proof/latex/Bounded.pdf : 270.1 KB
  2. proof/Bounded.lagda : 12.1 KB
  3. proof/latex/agdon.sty : 2.2 KB
  4. .gitignore : 92 B
  5. proof/build : 86 B