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
hipsleek/sleekapi_example
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|