Ugly Alpha 1
agda-mode:0.1.5

total uncompressed bytes

69.2 KB

total files

23

Fix

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

3 wasted files

total waste: 2.6 KB

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