total uncompressed bytes
386.3 KB
total files
81
Fix
45 wasted files
total waste: 169.4 KB
- rustdoc/voile-librarian.png : 150.5 KB
- .github/README.md : 2.6 KB
- samples/test.pl : 2.5 KB
- rustdoc/katex-header.html : 1.3 KB
- rustdoc/icon.svg : 1.2 KB
- .github/workflows/rust.yml : 1.0 KB
- samples/row-polymorphism/extensible-pattern-match.out : 794 B
- samples/row-polymorphism/extensible-pattern-match.voile : 622 B
- samples/row-polymorphism/solve-ext-meta.voile : 586 B
- samples/dependent-type/recursion.voile : 563 B
- samples/row-polymorphism/simple-pattern-match.voile : 523 B
- samples/row-polymorphism/simple-pattern-match.out : 492 B
- samples/row-polymorphism/record-ext.voile : 374 B
- .gitignore : 372 B
- samples/row-polymorphism/solve-ext-meta.out : 369 B
- samples/dependent-type/id-flip.voile : 333 B
- samples/row-polymorphism/record-cons.voile : 305 B
- samples/dependent-type/id-id-id.voile : 304 B
- samples/dependent-type/id-flip.out : 298 B
- samples/meta/id-flip-implicit.voile : 278 B
- samples/row-polymorphism/record-ext.out : 267 B
- samples/meta/id-flip.voile : 266 B
- samples/dependent-type/sums.voile : 252 B
- samples/meta/id-flip-implicit.out : 248 B
- rustdoc/generate.sh : 240 B
- samples/row-polymorphism/project-poly.voile : 237 B
- samples/dependent-type/pairs.voile : 222 B
- samples/row-polymorphism/record-cons.out : 221 B
- samples/meta/id-flip.out : 211 B
- samples/error-report/missing-label.voile : 201 B
- samples/dependent-type/id-id-id.out : 169 B
- samples/dependent-type/recursion.out : 161 B
- samples/error-report/unsolved-meta.voile : 155 B
- samples/error-report/redefine.voile : 143 B
- samples/meta/implicit.voile : 141 B
- samples/dependent-type/sums.out : 140 B
- samples/meta/implicit.out : 127 B
- samples/row-polymorphism/project-poly.out : 119 B
- samples/dependent-type/pairs.out : 112 B
- samples/error-report/missing-label.out : 110 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