Ugly Alpha 1
agda-tac:0.1.4

total uncompressed bytes

67.1 KB

total files

13

Perfectly lean!