[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