Ugly Alpha 1
agda-tac:0.1.1
total uncompressed bytes
60.9 KB
total files
6
Perfectly lean!