total uncompressed bytes
63.6 KB
total files
25
Fix
9 wasted files
total waste: 5.1 KB
- src/test/constraint.rs : 2.3 KB
- src/test/type_app.rs : 1.0 KB
- src/test/functor.rs : 889 B
- .github/workflows/gh-pages.yaml : 478 B
- rustfmt.toml : 342 B
- src/test/mod.rs : 74 B
- .gitignore : 8 B
- src/test/nat_trans.rs : 1 B
- clippy.toml : 0 B