testing/agda: new aport

https://wiki.portal.chalmers.se/agda/pmwiki.php
dependently typed functional programming language

Co-authored-by: Leo <thinkabit.ukim@gmail.com>
7 jobs for !19900 with agda in 25 minutes and 4 seconds
merge request