[Agda-dev] Changes to the standard library and the Agda test suite

[Andrés Sicard-Ramírez]

Hi,

Please, after pushing your commits to the standard library branch(s) run
the Agda test suite for testing your changes using the following commands
(in both branches of Agda, if necessary):

  $ make up-to-date-std-lib
  $ make test

Thanks,

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150203/332131f4/attachment.html