Stream: Coq devs & plugin devs

Topic: ocaml early bird debugger


view this post on Zulip Emilio Jesús Gallego Arias (Apr 13 2021 at 22:25):

Hi folks, has anyone tried https://github.com/hackwaly/ocamlearlybird with Coq?

view this post on Zulip Guillaume Claret (Apr 14 2021 at 09:18):

Some people did try it for Tezos and were very happy

view this post on Zulip Guillaume Claret (Apr 14 2021 at 09:36):

(OK I haven't read well the question, it was with Coq)

view this post on Zulip Emilio Jesús Gallego Arias (Apr 14 2021 at 13:40):

I was wondering to see if it worked with Coq, but of course knowing it works with Tezos is very valuable info !

view this post on Zulip Emilio Jesús Gallego Arias (Apr 14 2021 at 13:41):

Once we try it with Coq, we should add this info to the develop guide


Last updated: Mar 28 2024 at 23:01 UTC