install.md

Installation via Opam

See http://opam.ocaml.org/.

opam install lambdapi

The installation of lambdapi gives you:

• a main executable named lambdapi in your PATH,
• an OCaml library called lambdapi,
• an LSP-compatible server called lp-lsp in your PATH,
• a lambdapi mode for Vim (optional),
• a lambdapi mode for emacs (optional).