Ugly Alpha 1
tptp:0.6.0

total uncompressed bytes

65.9 KB

total files

18

Fix

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

6 wasted files

total waste: 10.3 KB

  1. examples/fof/advanced.p : 3.1 KB
  2. examples/fof/simple.p : 2.7 KB
  3. examples/cnf/basic.p : 2.2 KB
  4. examples/fof/included.p : 1.2 KB
  5. examples/cnf/included.p : 1.1 KB
  6. .gitignore : 30 B