Deducteam/opam-lambdapi-repository

Opam repository of Lambdapi libraries

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.

Script to generate the Opam metadata of your library