total uncompressed bytes

669.4 KB

total files

24

Waste by Extension

1. *.pdf

   540.3 KB waste in 2 files

2. *.lagda

   24.2 KB waste in 2 files

3. *.sty

   4.5 KB waste in 2 files

4. no extension

   356 B waste in 4 files

Versions

1. 0.1.1

   Total

   334.6 KB total in 12 files

   Waste in all versions

   284.7 KB wasted in 5 files

2. 0.1.0

   Total

   334.8 KB total in 12 files

   Waste in all versions

   284.7 KB wasted in 5 files