total uncompressed bytes
241.4 KB
total files
14
Fix
6 wasted files
total waste: 80.3 KB
- specification/typing.pdf : 57.6 KB
- specification/typing.tex : 20.1 KB
- specification/language.md : 2.2 KB
- specification/typing.out : 188 B
- specification/Makefile : 171 B
- .gitignore : 19 B