Ugly Alpha 1
agda-tac:0.1.2
total uncompressed bytes
74.9 KB
total files
10
Perfectly lean!