Awesome
Opam repository of Lambdapi libraries
Requires Opam.
To add this repository in your Opam environment, do once:
opam repository add lambdapi --set-default https://github.com/deducteam/opam-lambdapi-repository.git
To search available Lambdapi libraries, do:
opam search lambdapi
To get information about a Lambdapi library and know how to require it in your own developments, do:
opam info $libname
To install a Lambdapi library, do:
opam install $libname
To uninstall a Lambdapi library, do:
opam uninstall $libname
How to add a new library in this repository?
- fork the repository
- create a branch
$libname.$version - add a file
packages/lambdapi-$libname/lambdapi-$libname.$version/opam - commit and push
- make a pull request
Example of Makefile to compile your library.
Example of Github action workflow to automatically check the versions of Lambdapi with which your library compiles.
Example of opam file to include a new library in this repository.