Translator from subset of OCaml to OCanren
Description
Install
Documentation github.com Edit opam file
Published
03 May 2022
Authors
Maintainers
Sources
0.3.0.tar.gz
sha256=18c8bdd588e445c6683062beb7d811d2ce609c00aaf3fcaf5da944dcf4d2cc54 sha512=cc53c64ba5ab4022d9ec086337bb30668fcf0369d60ba5777ea7703aff847b67400b61a870333cc36eb13b6c1e8d435245f8ceacd34a317a9bdfb43b85aed9da
Dependencies
ppxlib
ocamlformat with-test
odoc with-doc
OCanren-ppx >= "0.3.0~"
OCanren >= "0.3.0~"
GT
ocaml >= "4.13" & < "4.15"
dune >= "2.8"
Reverse Dependencies