Hi folks, has anyone tried https://github.com/hackwaly/ocamlearlybird with Coq?
Some people did try it for Tezos and were very happy
(OK I haven't read well the question, it was with Coq)
I was wondering to see if it worked with Coq, but of course knowing it works with Tezos is very valuable info !
Once we try it with Coq, we should add this info to the develop guide
Last updated: Dec 07 2023 at 04:02 UTC