total uncompressed bytes
129.9 KB
total files
24
Fix
7 wasted files
total waste: 70.9 KB
- examples/stlc_data_isorec.rs : 25.2 KB
- examples/stlc_data.rs : 21.7 KB
- examples/stlc.rs : 7.0 KB
- examples/lc_letrec.rs : 5.2 KB
- examples/lc_let.rs : 5.0 KB
- examples/lc_multi.rs : 4.2 KB
- examples/lc.rs : 2.5 KB