Ugly Alpha 1
agda-mode:0.1.4

total uncompressed bytes

60.1 KB

total files

19

Fix

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

3 wasted files

total waste: 2.3 KB

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