list-witnesses v0.1.2.0 Release Notes

Release Date: 2019-08-13 // over 3 years ago
  • 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 Appends and witnesses of concatenation type families from Appends.
    • interleavedIxes, for more manipulation of Interleave