Ugly Alpha 1
minitt:0.2.6

total uncompressed bytes

154.1 KB

total files

70

Fix

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

49 wasted files

total waste: 15.0 KB

  1. samples/test.pl : 2.1 KB
  2. samples/REPL.md : 2.0 KB
  3. appveyor.yml : 2.0 KB
  4. .circleci/config.yml : 1.5 KB
  5. samples/sum-split/maybe.minitt : 1.0 KB
  6. samples/README.md : 608 B
  7. samples/sum-split/bool.minitt : 469 B
  8. samples/sum-split/nat.minitt : 371 B
  9. samples/dependent/sigma.minitt : 359 B
  10. .gitignore : 359 B
  11. samples/dependent/function.minitt : 350 B
  12. samples/sum-split/merge.minitt : 265 B
  13. samples/basics/syntacic-sugar.minitt : 262 B
  14. samples/basics/unicode.minitt : 259 B
  15. samples/basics/univese.minitt : 234 B
  16. samples/first-class-sum/subtyping.minitt : 223 B
  17. samples/first-class-sum/sum-literals.minitt : 216 B
  18. samples/dependent/level.minitt : 184 B
  19. samples/basics/simple.minitt : 176 B
  20. samples/basics/syntacic-sugar.out : 165 B
  21. samples/negative/bad-level.out : 154 B
  22. samples/negative/girard-paradox.out : 137 B
  23. samples/negative/bad-merge.minitt : 125 B
  24. samples/negative/bad-merge.out : 124 B
  25. samples/basics/reference.minitt : 123 B
  26. samples/negative/bad-level.minitt : 119 B
  27. samples/dependent/long-function.minitt : 116 B
  28. samples/negative/girard-paradox.minitt : 112 B
  29. samples/basics/local-binding.minitt : 83 B
  30. samples/basics/parse-only.minitt : 75 B
  31. samples/sum-split/nat.out : 41 B
  32. samples/sum-split/merge.out : 41 B
  33. samples/sum-split/maybe.out : 41 B
  34. samples/sum-split/bool.out : 41 B
  35. samples/first-class-sum/sum-literals.out : 41 B
  36. samples/first-class-sum/subtyping.out : 41 B
  37. samples/dependent/sigma.out : 41 B
  38. samples/dependent/long-function.out : 41 B
  39. samples/dependent/level.out : 41 B
  40. samples/dependent/function.out : 41 B
  41. samples/basics/univese.out : 41 B
  42. samples/basics/simple.out : 41 B
  43. samples/basics/reference.out : 41 B
  44. samples/basics/local-binding.out : 41 B
  45. samples/basics/parse-only.out : 33 B
  46. samples/basics/parse-only.flags : 24 B
  47. samples/basics/unicode.out : 18 B
  48. samples/basics/unicode.flags : 12 B
  49. samples/basics/syntacic-sugar.flags : 11 B