Matthieu Sozeau

I think the `add_mutual` is fine, but the "constr_of_global_in_context" is incorrect, however that is code you added, right? I'm trying to build your branch now and see if I can...

Maybe your build script is not up-to date actually, I get `fatal: reference is not a tree: f895effe3f507e138c781134c621d76035c97e5f`

I think the interface is fine as it is, with the Laws separate and no setoids. One has the option not to use extlib if they want something else, and...

Yes please, I didn't know how to do it and just wanted to check my PR was building correctly on the CI

Thanks!

With PR #39 we will now have access to the primitive ints and floats in the erased code.

See PR #57 for working support for primitive types (int63 for now, floats and arrays are not yet implemented)

I was basically waiting for @gares to ok it. Given the blocking status, I'll merge it now.

I fixed the instructions to reflect both opam 2 and opam 1.2.0 but didn't change the ocaml version yet. 4.07.0 had issues with native compilation, no? Shouldn't we recommend 4.07.1...

@herbelin I don't know if you have time to continue working on the scripts but personally I don't have a problem with it, I think providing a "default" web view...