total uncompressed bytes
197.5 KB
total files
19
Fix
8 wasted files
total waste: 55.1 KB
- screenshots/load_add.png : 16.7 KB
- screenshots/count_nostep.png : 11.5 KB
- screenshots/combinators.png : 8.6 KB
- inputs/clni.txt : 8.0 KB
- inputs/church.txt : 4.7 KB
- screenshots/non_interactive.png : 4.5 KB
- COPYING.txt : 1.1 KB
- .gitignore : 20 B