Towards coqffi.1.0.0 (Call for Testers)

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!