hipsleek / Heifer

effects system for continuation
https://hipsleek.github.io/Heifer/
MIT License
16 stars 4 forks source link

Separate OCaml frontend #3

Open dariusf opened 11 months ago

dariusf commented 11 months ago

Split the OCaml frontend into its own directory, so it can be kept up to date easily. We may want to update to the 5.3 frontend in future, or even add support for calling the type checker.