Emilio Jesús Gallego Arias
Emilio Jesús Gallego Arias
Serlib does provide json serializers for 0.7.0, delaying this to 0.8.0 for now.
Yes, it is pretty advanced, as a side effect of the direct python support. Unfortunately I found some problems with `ppx_python / pythonlib` so it got a bit delayed, but...
> @ejgallego I will gladly help with this, but I am not sure what your overall goal here was in SerAPI being able to read jsCoq packaged libraries. Do you...
What do you think of #111 ? Maybe we should just have a single binary with `--input` and `--output` modes?
#118 is ready, however there are still some parts missing; in particular: - `UGraph.t`: essential - `Conv_oracle.oracle`: I am not sure how important this is for type-checking / roundtrip -...
We also need to add the dumping option, but indeed I am thinking if it wouldn't make more sense a fine env-manipulation API. The whole env is really big I'm...
I am realizing that we have a bit of a problem with the current "round-trip" idea. The `env` type in Coq is private, so indeed it means that it is...
Sure, done in #126
Indeed maybe we should just have the query to return a struct: ```ocaml type object_imprint = { digest : Digest.t ; deps : Digest.t list } type definition_imprint = {...