total uncompressed bytes
348.1 KB
total files
68
Fix
27 wasted files
total waste: 163.0 KB
- rustdoc/voile-librarian.png : 150.5 KB
- samples/test.pl : 2.5 KB
- appveyor.yml : 2.1 KB
- .circleci/config.yml : 1.6 KB
- rustdoc/icon.svg : 1.2 KB
- rustdoc/katex-header.html : 1.1 KB
- samples/dependent-type/recursion.voile : 563 B
- .gitignore : 372 B
- samples/meta/id-flip.voile : 266 B
- samples/dependent-type/id-flip.voile : 263 B
- samples/dependent-type/sums.voile : 252 B
- rustdoc/generate.sh : 240 B
- samples/dependent-type/pairs.voile : 222 B
- samples/meta/id-flip.out : 211 B
- samples/dependent-type/id-flip.out : 211 B
- samples/error-report/missing-label.voile : 201 B
- samples/dependent-type/recursion.out : 161 B
- samples/error-report/unsolved-meta.voile : 155 B
- samples/error-report/redefine.voile : 143 B
- samples/dependent-type/sums.out : 140 B
- samples/error-report/missing-label.out : 122 B
- samples/dependent-type/pairs.out : 112 B
- samples/error-report/redefine.out : 104 B
- samples/error-report/unsolved-meta.out : 81 B
- rustdoc/install-windows.bat : 67 B
- rustdoc/install-linux.sh : 67 B
- rustfmt.toml : 17 B