Reminded me of the following paper, Using Coq to Write Fast and Correct Haskell. https://www.cs.purdue.edu/homes/bendy/Fiat/FiatByteString.html https://www.cs.

Reminded me of the following paper, Using Coq to Write Fast and Correct Haskell. https://www.cs.purdue.edu/homes/bendy/Fiat/FiatByteString.html https://www.cs.purdue.edu/homes/bendy/Fiat/FiatByteString.ht...