total uncompressed bytes
88.9 KB
total files
38
Fix
24 wasted files
total waste: 9.2 KB
- samples/test.pl : 2.1 KB
- appveyor.yml : 2.0 KB
- .circleci/config.yml : 1.5 KB
- samples/sum-split/bool.minitt : 505 B
- samples/README.md : 431 B
- samples/sum-split/nat.minitt : 404 B
- samples/dependent/function.minitt : 380 B
- samples/dependent/sigma.minitt : 359 B
- .gitignore : 345 B
- samples/basics/simple.minitt : 234 B
- samples/sum-split/maybe.minitt : 203 B
- samples/basics/syntacic-sugar.minitt : 125 B
- samples/basics/reference.minitt : 125 B
- samples/basics/parse-only.minitt : 75 B
- samples/sum-split/nat.out : 41 B
- samples/sum-split/maybe.out : 41 B
- samples/sum-split/bool.out : 41 B
- samples/dependent/sigma.out : 41 B
- samples/dependent/function.out : 41 B
- samples/basics/syntacic-sugar.out : 41 B
- samples/basics/simple.out : 41 B
- samples/basics/reference.out : 41 B
- samples/basics/parse-only.out : 33 B
- samples/basics/parse-only.flags : 24 B