Ugly Alpha 1
agda-tac:0.1.3

total uncompressed bytes

85.4 KB

total files

13

Perfectly lean!