Stream: PyCoq

Topic: ✔ ocaml version


view this post on Zulip Quinn (Nov 07 2021 at 15:24):

what ocaml version is best for this project?

view this post on Zulip Emilio Jesús Gallego Arias (Nov 07 2021 at 15:47):

4.11 / 4.12 should be fine

view this post on Zulip Emilio Jesús Gallego Arias (Nov 07 2021 at 15:47):

minimal bound is 4.08 IIUC

view this post on Zulip Emilio Jesús Gallego Arias (Nov 07 2021 at 15:47):

Oh, I did a tweak so it works in 4.07 too

view this post on Zulip Notification Bot (Nov 07 2021 at 20:46):

Quinn has marked this topic as resolved.


Last updated: May 20 2022 at 09:03 UTC