Emilio Jesús Gallego Arias (Apr 13 2021 at 22:25): Emilio Jesús Gallego Arias (Apr 13 2021 at 22:25):Hi folks, has anyone tried https://github.com/hackwaly/ocamlearlybird with Coq?
Guillaume Claret (Apr 14 2021 at 09:18):Some people did try it for Tezos and were very happy
Guillaume Claret (Apr 14 2021 at 09:36):(OK I haven't read well the question, it was with Coq)
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 !
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: Dec 07 2023 at 04:02 UTC