Ugly Alpha 1
polyhorn-cli:0.1.0

total uncompressed bytes

39.5 KB

total files

20

Fix

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

6 wasted files

total waste: 2.8 KB

  1. src/spec/mod.rs : 1.7 KB
  2. template/src/lib.rs.tmpl : 652 B
  3. template/Cargo.toml.tmpl : 189 B
  4. ios/template/main.m.tmpl : 126 B
  5. template/Polyhorn.toml.tmpl : 91 B
  6. template/build.rs.tmpl : 44 B