[Agda] lib for Development Agda

Matthew Daggitt matthewdaggitt at gmail.com
Tue Nov 6 14:07:14 CET 2018


Hi Sergei,
 The development version of Agda will always use *at least* the most
recently released version of the standard library (i.e. v0.17). Sometimes,
when some language feature has changed, it may even use the development
version of the standard library.
Best,
Matthew

On Tue, Nov 6, 2018 at 12:28 PM Sergei Meshveliani <mechvel at botik.ru> wrote:

> Dear Agda team,
>
> Is is true that Development Agda of November 6 2018
> (2.6.0-e7da0ce)
> uses Standard library  lib-0.17 ?
>
> I try to upgrade the application from Development Agda of September 7 to
> Development of November 6,
> and it reports
>   Failed to find source of module
>   Data.List.Relation.Sublist.Extensional.Setoid in any of the
>   following locations:
>   ...
>
> It is desirable to understand what is the intended library for the
> official Agda version to which Development Agda approaches.
>
> Regards,
>
> ------
> Sergei
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20181106/405107e0/attachment.html>


More information about the Agda mailing list