total uncompressed bytes
658.0 KB
total files
72
Fix
42 wasted files
total waste: 119.9 KB
- src/examples/list_nat_dedup.rs : 12.2 KB
- src/examples/list_nat.rs : 8.6 KB
- tests/trie.rs : 6.2 KB
- src/examples/pure_list_nat.rs : 5.7 KB
- src/examples/mod.rs : 4.6 KB
- src/examples/seq_nat.rs : 4.4 KB
- src/examples/pure_rtq.rs : 4.4 KB
- src/examples/set_join.rs : 4.4 KB
- tests/eval.rs : 4.1 KB
- src/examples/seq_filter.rs : 4.0 KB
- src/examples/list_nat_edit.rs : 3.7 KB
- tests/examples.rs : 3.7 KB
- src/examples/trie.rs : 3.6 KB
- src/examples/pure_lazylist.rs : 3.5 KB
- tests/iodyn/ranksort.rs : 3.4 KB
- src/examples/pure_stream_nat.rs : 3.3 KB
- tests/normal.rs : 3.3 KB
- tests/quickhull.rs : 3.2 KB
- src/examples/op_nat.rs : 2.5 KB
- src/examples/seq_nat_dfs.rs : 2.5 KB
- src/examples/basic_existentials.rs : 2.4 KB
- src/examples/basic_write_effects.rs : 2.4 KB
- src/examples/nat.rs : 2.3 KB
- src/examples/seq_max.rs : 2.3 KB
- tests/mod.rs : 2.0 KB
- tests/iodyn/quicksort.rs : 1.9 KB
- tests/iodyn/quickhull.rs : 1.9 KB
- src/examples/seq_nat_dfs_lazy.rs : 1.7 KB
- src/examples/basic_subtyping.rs : 1.7 KB
- src/examples/list_nat_convert.rs : 1.6 KB
- src/examples/name.rs : 1.4 KB
- src/examples/list_nat_reverse.rs : 1.3 KB
- src/examples/ref_edit.rs : 1.1 KB
- src/examples/seq_nat_bfs.rs : 1.0 KB
- src/examples/seq_nat_gen.rs : 994 B
- src/examples/basic_read_effects.rs : 918 B
- src/examples/basic_write_scope.rs : 717 B
- .gitignore : 387 B
- src/examples/stream_nat.rs : 382 B
- travis.sh : 309 B
- .travis.yml : 106 B
- src/examples/fifo.rs : 73 B