[Agda-dev] Other new branch in the standard library repository:
2.4.2.2
Ulf Norell
ulf.norell at gmail.com
Fri Mar 20 06:49:04 CET 2015
On Thu, Mar 19, 2015 at 9:02 PM, Andrés Sicard-Ramírez <asr at eafit.edu.co>
wrote:
>
> How can we test in the maintenance branch of Agda all the new stuff in
> the development version (the master branch) of the standard library?
I'm not sure we have to do that. We don't have any(?) users running the
maintenance branch--either you run with master or one of the releases.
/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150320/01da88c5/attachment.html
More information about the Agda-dev
mailing list