Skip to content

Latest commit

 

History

History
31 lines (25 loc) · 783 Bytes

README.md

File metadata and controls

31 lines (25 loc) · 783 Bytes

Package Index for Agda Libraries

This repository is an index of libraries for the package manager Agda-Pkg. I do the indexing manually at the moment, but this can change in the future. The number of libraries here is still small, and the libraries releases are not very often.

This is the structure of a library in this index:

└── standard-library
  ├── url
  └── versions
    ├── v1.4
    │ ├── sha1
    │ └── standard-library.agda-lib
    └── v0.5
      ├── sha1
      └── standard-library.agda-lib

This index is used by Agda-Pkg to install automatically the library you want.

$ pip3 install agda-pkg
$ apkg init
$ apkg --help