Hello Clément,
Will this rewrite be monolithic, or will it be possible to use it to
interact with Coq through elisp? I'm particularly interested in
improving org-babel support for Coq (which works but is not very
robust).
Thanks,
Alan
--
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric C
On 2016-06-16 14:31, Clément Pit--Claudel writes:
> Hi Alan,
>
> We're hoping to get a pretty flexible codebase in the end, but more details on
> your use case would be useful :) What are the main difficulties that you ran
> into with the current codebase ?
The current version of ob-coq relies o
On 2016-06-16 15:44, "Paul A. Steckler" writes:
> I'm the one who'll be doing the programming on this project.
>
> As a long-time consumer of OCaml Weekly News, I'm happy to reciprocate
> by exposing what APIs are needed. :-)
>
> The coqtop XML API concludes each response with a tag. We can
> pr
