Ugly Alpha 1
minitt:0.4.3

total uncompressed bytes

213.9 KB

total files

86

Fix

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

65 wasted files

total waste: 40.8 KB

  1. samples/basics/lexical-json.out : 18.5 KB
  2. .github/README.md : 5.3 KB
  3. samples/test.pl : 2.1 KB
  4. samples/REPL.md : 2.0 KB
  5. rustdoc/icon.svg : 1.3 KB
  6. rustdoc/katex-header.html : 1.2 KB
  7. .github/workflows/rust.yml : 1.1 KB
  8. samples/README.md : 890 B
  9. samples/sum-split/bool.minitt : 643 B
  10. samples/sum-split/maybe.minitt : 632 B
  11. samples/sum-split/nat.minitt : 371 B
  12. samples/dependent/sigma.minitt : 359 B
  13. .gitignore : 359 B
  14. samples/dependent/function.minitt : 350 B
  15. samples/negative/consume-end.minitt : 265 B
  16. samples/basics/syntacic-sugar.minitt : 262 B
  17. samples/basics/unicode.minitt : 259 B
  18. samples/dependent/higher-level.minitt : 248 B
  19. samples/basics/univese.minitt : 234 B
  20. samples/first-class-sum/subtyping.minitt : 223 B
  21. samples/negative/var-merge.minitt : 216 B
  22. samples/first-class-sum/sum-literals.minitt : 216 B
  23. samples/sum-split/empty-eliminate.minitt : 193 B
  24. samples/basics/lexical-json.minitt : 185 B
  25. samples/dependent/level.minitt : 184 B
  26. samples/sum-split/merge.minitt : 180 B
  27. samples/basics/simple.minitt : 176 B
  28. samples/basics/syntacic-sugar.out : 169 B
  29. samples/negative/bad-level.out : 154 B
  30. samples/negative/duplicate-branch.minitt : 146 B
  31. samples/negative/girard-paradox.out : 137 B
  32. samples/negative/bad-merge.minitt : 125 B
  33. samples/negative/bad-merge.out : 124 B
  34. samples/basics/reference.minitt : 123 B
  35. rustdoc/generate.sh : 123 B
  36. samples/negative/consume-end.out : 122 B
  37. samples/negative/duplicate-branch.out : 121 B
  38. samples/negative/var-merge.out : 119 B
  39. samples/negative/bad-level.minitt : 119 B
  40. samples/dependent/long-function.minitt : 116 B
  41. samples/negative/girard-paradox.minitt : 112 B
  42. samples/basics/local-binding.minitt : 83 B
  43. samples/basics/parse-only.minitt : 75 B
  44. samples/sum-split/nat.out : 41 B
  45. samples/sum-split/merge.out : 41 B
  46. samples/sum-split/maybe.out : 41 B
  47. samples/sum-split/empty-eliminate.out : 41 B
  48. samples/sum-split/bool.out : 41 B
  49. samples/first-class-sum/sum-literals.out : 41 B
  50. samples/first-class-sum/subtyping.out : 41 B
  51. samples/dependent/sigma.out : 41 B
  52. samples/dependent/long-function.out : 41 B
  53. samples/dependent/level.out : 41 B
  54. samples/dependent/higher-level.out : 41 B
  55. samples/dependent/function.out : 41 B
  56. samples/basics/univese.out : 41 B
  57. samples/basics/simple.out : 41 B
  58. samples/basics/reference.out : 41 B
  59. samples/basics/local-binding.out : 41 B
  60. samples/basics/parse-only.out : 34 B
  61. samples/basics/lexical-json.flags : 27 B
  62. samples/basics/parse-only.flags : 24 B
  63. samples/basics/unicode.out : 18 B
  64. samples/basics/unicode.flags : 12 B
  65. samples/basics/syntacic-sugar.flags : 11 B