@hackage / containers-verified

Formally verified drop-in replacement of containers

Latest0.6.0.1

Changelog

Revision history for containers-verified

0.6.0.1 -- 2018-06-18

Now also verified: Set.map and Set.fromList (#1)
Update proofs to containers-0.6.0.1

0.5.11.0 -- 2018-03-15

First version.