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

[Andrés Sicard-Ramírez]

Hi,

Maybe the compatibility between the standard library and Agda would be more
easy if the standard library repo was a submodule of the Agda repo.

​Best,​


On 3 February 2015 at 12:34, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:

> 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
>



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