Home/devel/ocaml-dolmen

ocaml-dolmen

Library for writing deduction and logic languages in Objective Caml

The dolmen library for OCaml provides modules for parsing, type-checking and main loop controling. The dolmen binary allows to parse and type-check input against a language specification. Dolmen comes with a LSP server implementation.

$pkg install ocaml-dolmen

github.com/Gbury/dolmen ↗

Origin

devel/ocaml-dolmen

Size

131MiB

License

BSD2CLAUSE

Maintainer

freebsd@dev.thsi.be

Dependencies

16 packages

Required by

1 packages

Dependencies (16)

ocaml-uutf ocaml-spelll ocaml-ppx_yojson_conv_lib ocaml-ppx_hash ocaml-ppx_deriving ocaml-pp_loc ocaml-lsp ocaml-logs ocaml-linol ocaml-gen ocaml-fmt ocaml-farith ocaml menhir libev gmp

Required By (1)

alt-ergo