containers-verified-0.6.0.1: ChangeLog.md
# 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.
# 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.