Formal verification of containers

Joachim Breitner mail at
Thu Feb 8 23:21:02 UTC 2018


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:

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


Joachim Breitner
  mail at
-------------- 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: <>

More information about the Libraries mailing list