Ugly Alpha 1
agda-tac:0.0.1
total uncompressed bytes
48.6 KB
total files
5
Perfectly lean!