Ugly Alpha 1
agda-mode:0.1.0

total uncompressed bytes

34.6 KB

total files

10

Fix

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

1 wasted files

total waste: 82 B

  1. .gitignore : 82 B