search

project-everest / everest

https://project-everest.github.io/
Apache License 2.0
193 stars 29 forks source link

Switch to OCaml 4.14 #93

Closed tahina-pro closed 2 days ago

tahina-pro commented 1 year ago

With FStarLang/FStar#2770 now merged, Everest now works well with OCaml 4.14. So, with this PR:

msprotz commented 1 year ago

FYI @pnmadelaine