Ugly Alpha 1
agda-mode:0.1.2

total uncompressed bytes

44.1 KB

total files

11

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