4 ms·
The webpage for AGDA seems to be https://github.com/agda/agda https://github.com/agda/agda or https://wiki.portal.chalmers.se/agda/pmwiki.php https://wiki.port
by malkia 7y ago
The webpage for AGDA seems to be https://github.com/agda/agda https://github.com/agda/agda or https://wiki.portal.chalmers.se/agda/pmwiki.php https://wiki.portal.chalmers.se/agda/pmwiki.php, but not https://www.agda.com.au/ https://www.agda.com.au/ (end of the paper).
- lewisjoe 7y agoThanks. Fixed the links.