total uncompressed bytes
298.3 KB
total files
55
Fix
18 wasted files
total waste: 161.7 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/katex-header.html : 1.2 KB
- rustdoc/icon.svg : 1.2 KB
- samples/dependent-type/recursion.voile : 563 B
- .gitignore : 372 B
- samples/dependent-type/dtlc.voile : 263 B
- rustdoc/generate.sh : 240 B
- samples/dependent-type/sums.voile : 229 B
- samples/dependent-type/pairs.voile : 222 B
- samples/dependent-type/dtlc.out : 213 B
- samples/dependent-type/recursion.out : 161 B
- samples/dependent-type/sums.out : 130 B
- samples/dependent-type/pairs.out : 112 B
- rustdoc/install-windows.bat : 67 B
- rustfmt.toml : 17 B