Ugly Alpha 1
agda-tac:0.1.3
total uncompressed bytes
85.4 KB
total files
13
Perfectly lean!