Changelog
=========
Version 0.1.3.2
---------------
*August 25, 2019*
<https://github.com/mstksg/list-witnesses/releases/tag/v0.1.3.2>
* Fixed overlapping instance issues resulting from ambiguities in `Auto`
instances for `Insert`, `Delete`, `Substitute`, `Suffix`, `Interleave`, and
`Subset`.
Version 0.1.3.1
---------------
*August 23, 2019*
<https://github.com/mstksg/list-witnesses/releases/tag/v0.1.3.1>
* Quick renaming of `subsetToInterlaveLeft` and `subsetToInterleaveRight` to
match naming conventions.
Version 0.1.3.0
---------------
*August 23, 2019*
<https://github.com/mstksg/list-witnesses/releases/tag/v0.1.3.0>
* Add `Subset` and associated methods
* `interleaveShapes`, `swapInterleave`, `appendShape`, `prefixShape`
Version 0.1.2.0
---------------
*August 12, 2019*
<https://github.com/mstksg/list-witnesses/releases/tag/v0.1.2.0>
* Add predicates (`IsInsert`, `IsPrefix`, etc.) and `Auto` and `Decidable`
instances for most of the data types, for auto-generation and searches.
* Add some functions for creating `Append`s and witnesses of concatenation
type families from `Append`s.
* `interleavedIxes`, for more manipulation of `Interleave`
Version 0.1.1.1
---------------
*August 3, 2019*
<https://github.com/mstksg/list-witnesses/releases/tag/v0.1.1.1>
* Add *microlens* as a dependency, and use actual type synonyms for lenses.
Also got rid of re-implementations of over and view.
Version 0.1.1.0
---------------
*March 7, 2019*
<https://github.com/mstksg/list-witnesses/releases/tag/v0.1.1.0>
* Add `Interleave` to *Data.Type.List.Sublist*.
Version 0.1.0.0
---------------
*March 6, 2019*
<https://github.com/mstksg/list-witnesses/releases/tag/v0.1.0.0>
* Initial release