https://wiki.portal.chalmers.se/agda/pmwiki.php
dependently typed functional programming language
Co-authored-by: Leo thinkabit.ukim@gmail.com
Our ARM infrastructure is unreachable at the moment, so CI jobs will time-out and packages will not be updated until the servers are back.
https://wiki.portal.chalmers.se/agda/pmwiki.php
dependently typed functional programming language
Co-authored-by: Leo thinkabit.ukim@gmail.com