Skip to content

testing/agda: new aport

River Dillon requested to merge outerpassage/aports:agda into master

https://wiki.portal.chalmers.se/agda/pmwiki.php

dependently typed functional programming language

Co-authored-by: Leo thinkabit.ukim@gmail.com

Edited by River Dillon

Merge request reports