Skip to content

Latest commit

 

History

History
15 lines (12 loc) · 392 Bytes

install.md

File metadata and controls

15 lines (12 loc) · 392 Bytes

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).