Demo Implementation of Deeplang's Borrow Checker

Building and Running

This repository has the following dependencies:

• make
• ocaml, tested on 4.12.0, but 4.7+ should be aqequate
• dune 2.x, tested on 2.8.5

If you are using nix, you can use the shell.nix file and nix-shell to setup the necessary dependencies.

There are also some optional dependencies:

• js_of_ocaml and js_of_ocaml-ppx, for a HTML demo
• odoc, for generating API document

To build this repository, do one of the following:

• make, to build everything.
• make build, to build everything except for API doc.
• make checker, to build the OCaml checker library only
• make demo, to build the HTML demo. You can play with the demo in demo/demo.html afterwards.
• make doc, to build the API doc.

The HTML demo is also hosted on https://guest0x0.xyz/deeplang-borrow-checker-demo/demo.html. You can play with it online there.

Document

See the API document in doc/api/checker@26bb1931b3ad/Checker/. You can view it online by pasting the URL at https://htmlpreview.github.io. There is also a hosted version of the API doc at https://guest0x0.xyz/deeplang-borrow-checker-demo/api/checker@26bb1931b3ad/Checker.