malfunction
malfunction copied to clipboard
OCaml 4.14 support
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.