Closed Alizter closed 1 year ago
Hi, is there any hope of support for OCaml 4.14 and below. The Coq developers have been thinking about using malfunction as a target for our native compilation.
malfunction.0.4.1 is now on OPAM, with 4.14 support.
Thank you! @stedolan
Hi, is there any hope of support for OCaml 4.14 and below. The Coq developers have been thinking about using malfunction as a target for our native compilation.