[Agda-dev] New Agda Compiler/Backend

Andrés Sicard-Ramírez asr at eafit.edu.co
Wed Mar 25 15:23:38 CET 2015


On 25 March 2015 at 08:54, Ulf Norell <ulf.norell at gmail.com> wrote:
> Also, it would be a good idea if you could take some of your test programs
> and set
> up a test/uhc directory that could be run as part of make test.

Also add the above tests to the Travis instance, please.

-- 
Andrés


More information about the Agda-dev mailing list