Agda

No description set
Refresh
Refresh
Source Files
Filename Size Changed Actions
Agda-2.5.2.tar.gz 0001240885 1.18 MB over 2 years
Agda.cabal 0000027524 26.9 KB over 2 years
Agda.changes 0000000515 515 Bytes over 2 years
Agda.spec 0000007410 7.24 KB over 2 years
Comments for Agda 0