tag name | v2.6.1.1 |
Tagged object | commit fce01db8f9... |
download | agda-2.6.1.1.zip agda-2.6.1.1.tar.gz agda-2.6.1.1.tar.bz2 |
---|
index : agda | ||
El lenguaje de programaciĆ³n Agda | mirror |
summaryrefslogtreecommitdiff |
tag name | v2.6.1.1 |
Tagged object | commit fce01db8f9... |
download | agda-2.6.1.1.zip agda-2.6.1.1.tar.gz agda-2.6.1.1.tar.bz2 |
---|