total uncompressed bytes
250.6 KB
total files
63
Fix
58 wasted files
total waste: 229.1 KB
- idris-lens/Control/Lens/Examples.ibc : 17.3 KB
- idris-lens/Data/Tagged.ibc : 16.6 KB
- idris-lens/Control/Lens/At.ibc : 13.6 KB
- idris-lens/Control/Lens/Market.ibc : 13.2 KB
- idris-lens/Control/Lens/Iso.ibc : 12.2 KB
- idris-lens/Data/Profunctor/Class.ibc : 10.9 KB
- idris-lens/Data/Profunctor/Choice.ibc : 10.8 KB
- idris-lens/Control/Lens/Lens.ibc : 10.7 KB
- idris-lens/Data/Curried.ibc : 9.1 KB
- idris-lens/Control/Lens/Types.ibc : 8.9 KB
- idris-lens/Control/Lens/Const.ibc : 8.3 KB
- idris-lens/Data/Yoneda.ibc : 8.2 KB
- idris-lens/Control/Lens/Prism.ibc : 7.9 KB
- idris-lens/Control/Lens/Setter.ibc : 7.2 KB
- idris-lens/Control/Lens/Getter.ibc : 7.1 KB
- idris-lens/Control/Lens/Tuple.ibc : 7.1 KB
- idris-lens/Control/Lens/First.ibc : 6.8 KB
- idris-lens/Control/Lens/Math.ibc : 5.7 KB
- idris-lens/Control/Lens/Review.ibc : 4.4 KB
- idris-lens/Data/Contravariant.ibc : 4.1 KB
- idris-lens/Control/Lens/Types.idr : 3.3 KB
- idris-lens/Control/Lens/Lens.idr : 2.7 KB
- idris-lens/Control/Lens/Examples.idr : 2.5 KB
- .travis.yml : 2.4 KB
- appveyor.yml : 1.7 KB
- idris-lens/Control/Lens/At.idr : 1.6 KB
- idris-lens/Data/Tagged.idr : 1.5 KB
- idris-lens/LICENSE : 1.5 KB
- idris-lens/Data/Yoneda.idr : 1.5 KB
- idris-lens/Control/Lens/Getter.idr : 1.2 KB
- Justfile : 1.1 KB
- idris-lens/Control/Lens/Market.idr : 1.1 KB
- idris-lens/Control/Lens/Prism.idr : 1.1 KB
- TODO.md : 1.1 KB
- idris-lens/Control/Lens.idr : 1.0 KB
- idris-lens/Control/Lens/Setter.idr : 978 B
- idris-lens/Control/Lens/Iso.idr : 962 B
- idris-lens/Control/Lens/Tuple.idr : 904 B
- idris-lens/Control/Lens.ibc : 896 B
- idris-lens/Data/Curried.idr : 888 B
- idris-lens/00lens-idx.ibc : 851 B
- idris-lens/Control/Lens/Const.idr : 830 B
- idris-lens/Control/Lens/Math.idr : 787 B
- ci/install.sh : 761 B
- idris-lens/Data/Profunctor.ibc : 760 B
- idris-lens/lens.ipkg : 604 B
- idris-lens/Data/Profunctor/Choice.idr : 603 B
- ci/before_deploy.sh : 569 B
- idris-lens/Control/Lens/First.idr : 554 B
- ci/before_deploy.ps1 : 523 B
- idris-lens/Data/Profunctor/Class.idr : 456 B
- idris-lens/Data/Contravariant.idr : 456 B
- ci/script.sh : 372 B
- idris-lens/Control/Lens/Review.idr : 353 B
- idris-lens/Data/Profunctor.idr : 149 B
- .travis.tml : 145 B
- idris-lens/README.org : 105 B
- .gitignore : 40 B