Formal verification of containers

[Joachim Breitner]

Hi,

Am Donnerstag, den 01.02.2018, 23:01 -0500 schrieb Joachim Breitner:
> A viable approach might be a containers-verified package that depends
> on a precise version of containers and re-exports the verified subset
> of containers. It might lag a few versions behind, but for something
> stable like containers, that might still be useful for people who want
> bragging rights about using verified code.

here is how this could look like:
https://hackage.haskell.org/package/containers-verified-0.5.11.0/candidate
https://github.com/nomeata/containers-verified

I hope that we can extend the covered API somemore in the next weeks :-)


Cheers,
Joachim

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20180208/1114f10e/attachment.sig>