First major release of Lambdapi. It introduces:
- a new syntax for developping proofs in the system,
- basic support for infix operators,
- call to external confluence checker with the same API as Dedukti,
- more things.
- Consolidate the LSP OPAM package into the main one (@ejgallego)
First release of Lambdapi.