Ugly Alpha 1
agda-mode

total uncompressed bytes

570.5 KB

total files

170

Waste by Extension

  1. *.md

    10.4 KB waste in 8 files

  2. *.yml

    8.3 KB waste in 8 files

  3. no extension

    902 B waste in 11 files

Versions

  1. 0.1.8

    Total

    69.4 KB total in 23 files

    Waste in all versions

    2.6 KB wasted in 3 files

  2. 0.1.7

    Total

    69.4 KB total in 23 files

    Waste in all versions

    2.6 KB wasted in 3 files

  3. 0.1.6

    Total

    69.4 KB total in 23 files

    Waste in all versions

    2.6 KB wasted in 3 files

  4. 0.1.5

    Total

    69.2 KB total in 23 files

    Waste in all versions

    2.6 KB wasted in 3 files

  5. 0.1.4

    Total

    60.1 KB total in 19 files

    Waste in all versions

    2.3 KB wasted in 3 files

  6. 0.1.3

    Total

    45.8 KB total in 11 files

    Waste in all versions

    2.3 KB wasted in 3 files

  7. 0.1.2

    Total

    44.1 KB total in 11 files

    Waste in all versions

    2.3 KB wasted in 3 files

  8. 0.1.1

    Total

    42.1 KB total in 11 files

    Waste in all versions

    2.1 KB wasted in 3 files

  9. 0.1.0

    Total

    34.6 KB total in 10 files

    Waste in all versions

    82 B wasted in 1 files

  10. 0.0.2

    Total

    30.1 KB total in 9 files

    Waste in all versions

    82 B wasted in 1 files

  11. 0.0.1

    Total

    36.4 KB total in 7 files

    Waste in all versions

    82 B wasted in 1 files