Ugly Alpha 1
agda-mode:0.0.2

total uncompressed bytes

30.1 KB

total files

9

Fix

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

1 wasted files

total waste: 82 B

  1. .gitignore : 82 B