I am pleased to announce that I have released coq-coqffi.1.0.0~beta3
. which is way more significant than anticipated.
The coqffi
in a Nutshell has been updated to reflect the changes (along with is companion article on how to use coqffi
to implement an Echo server in Coq.
I am more than ever looking for courageous volunteer to try coqffi
out, as there is probably many bugs yet to be found prior a 1.0.0
release. Therefore, if you have a good usecase for coqffi
, but lack time, energy or motivation to do it alone, please, reach out to me. I would love to help!