How to build: Make sure that you have hipsleek installed as an opam package on your machine. Otherwise, clone hipsleek, checkout to branch tristan_api_dune and run: opam install . Now, you can build the project by running: dune build