Ugly Alpha 1
hask-replace:0.4.6

total uncompressed bytes

250.6 KB

total files

63

Fix

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

58 wasted files

total waste: 229.1 KB

  1. idris-lens/Control/Lens/Examples.ibc : 17.3 KB
  2. idris-lens/Data/Tagged.ibc : 16.6 KB
  3. idris-lens/Control/Lens/At.ibc : 13.6 KB
  4. idris-lens/Control/Lens/Market.ibc : 13.2 KB
  5. idris-lens/Control/Lens/Iso.ibc : 12.2 KB
  6. idris-lens/Data/Profunctor/Class.ibc : 10.9 KB
  7. idris-lens/Data/Profunctor/Choice.ibc : 10.8 KB
  8. idris-lens/Control/Lens/Lens.ibc : 10.7 KB
  9. idris-lens/Data/Curried.ibc : 9.1 KB
  10. idris-lens/Control/Lens/Types.ibc : 8.9 KB
  11. idris-lens/Control/Lens/Const.ibc : 8.3 KB
  12. idris-lens/Data/Yoneda.ibc : 8.2 KB
  13. idris-lens/Control/Lens/Prism.ibc : 7.9 KB
  14. idris-lens/Control/Lens/Setter.ibc : 7.2 KB
  15. idris-lens/Control/Lens/Getter.ibc : 7.1 KB
  16. idris-lens/Control/Lens/Tuple.ibc : 7.1 KB
  17. idris-lens/Control/Lens/First.ibc : 6.8 KB
  18. idris-lens/Control/Lens/Math.ibc : 5.7 KB
  19. idris-lens/Control/Lens/Review.ibc : 4.4 KB
  20. idris-lens/Data/Contravariant.ibc : 4.1 KB
  21. idris-lens/Control/Lens/Types.idr : 3.3 KB
  22. idris-lens/Control/Lens/Lens.idr : 2.7 KB
  23. idris-lens/Control/Lens/Examples.idr : 2.5 KB
  24. .travis.yml : 2.4 KB
  25. appveyor.yml : 1.7 KB
  26. idris-lens/Control/Lens/At.idr : 1.6 KB
  27. idris-lens/Data/Tagged.idr : 1.5 KB
  28. idris-lens/LICENSE : 1.5 KB
  29. idris-lens/Data/Yoneda.idr : 1.5 KB
  30. idris-lens/Control/Lens/Getter.idr : 1.2 KB
  31. Justfile : 1.1 KB
  32. idris-lens/Control/Lens/Market.idr : 1.1 KB
  33. idris-lens/Control/Lens/Prism.idr : 1.1 KB
  34. TODO.md : 1.1 KB
  35. idris-lens/Control/Lens.idr : 1.0 KB
  36. idris-lens/Control/Lens/Setter.idr : 978 B
  37. idris-lens/Control/Lens/Iso.idr : 962 B
  38. idris-lens/Control/Lens/Tuple.idr : 904 B
  39. idris-lens/Control/Lens.ibc : 896 B
  40. idris-lens/Data/Curried.idr : 888 B
  41. idris-lens/00lens-idx.ibc : 851 B
  42. idris-lens/Control/Lens/Const.idr : 830 B
  43. idris-lens/Control/Lens/Math.idr : 787 B
  44. ci/install.sh : 761 B
  45. idris-lens/Data/Profunctor.ibc : 760 B
  46. idris-lens/lens.ipkg : 604 B
  47. idris-lens/Data/Profunctor/Choice.idr : 603 B
  48. ci/before_deploy.sh : 569 B
  49. idris-lens/Control/Lens/First.idr : 554 B
  50. ci/before_deploy.ps1 : 523 B
  51. idris-lens/Data/Profunctor/Class.idr : 456 B
  52. idris-lens/Data/Contravariant.idr : 456 B
  53. ci/script.sh : 372 B
  54. idris-lens/Control/Lens/Review.idr : 353 B
  55. idris-lens/Data/Profunctor.idr : 149 B
  56. .travis.tml : 145 B
  57. idris-lens/README.org : 105 B
  58. .gitignore : 40 B