tlaplus / tlapm

The TLA Proof Manager
https://proofs.tlapl.us/
BSD 2-Clause "Simplified" License
65 stars 20 forks source link

Use Dune for build? #80

Closed kape1395 closed 1 year ago

kape1395 commented 1 year ago

Could a PR be accepted if I manage to add Dune based build to the repository? I hope that would make the development more accessible; also, it seems the VSCode OCaml extension depends on it. Maybe this repo avoids using this build system intentionally?