Ugly Alpha 1
agda-mode:0.1.1

total uncompressed bytes

42.1 KB

total files

11

Fix

NewInclude { include: [ "src/**/*", "LICENSE", ], has_build_script: false, }

3 wasted files

total waste: 2.1 KB

  1. .github/README.md : 1.2 KB
  2. .github/workflows/rust.yml : 772 B
  3. .gitignore : 82 B