[Agda] Installing standard and plfa libraries

Jonathan Steven Prieto Cubides Jonathan.Cubides at uib.no
Thu Apr 16 12:36:30 CEST 2020


Hi,

To install plfa library you can just run the following command:

$ apkg install --github plfa/plfa.github.io --branch dev --name plfa

It will also manage to install its requirements, in this case, the standard library.

More options are in the following link:

https://github.com/agda/agda-pkg

To install agda-pkg, just run the commands:

$ pip3 install agda-pkg
$ apkg init


On 14/04/2020, 11:06, "Agda on behalf of Nils Anders Danielsson" <agda-bounces at lists.chalmers.se on behalf of nad at cse.gu.se> wrote:

    On 2020-04-12 14:24, Michel Levy wrote:
    > This library doesn't have a "standard-library.agda-lib" file.
    
    The standard library does have such a file:
    
       https://github.com/agda/agda-stdlib/blob/master/standard-library.agda-lib
    
    Perhaps something went wrong with your installation, or perhaps you have
    a very old version of the library.
    
    -- 
    /NAD
    _______________________________________________
    Agda mailing list
    Agda at lists.chalmers.se
    https://lists.chalmers.se/mailman/listinfo/agda
    



More information about the Agda mailing list