list-witnesses v0.1.2.0 Release Notes
Release Date: 2019-08-13 // over 4 years ago-
August 12, 2019
🚀 https://github.com/mstksg/list-witnesses/releases/tag/v0.1.2.0
- Add predicates (
IsInsert
,IsPrefix
, etc.) andAuto
andDecidable
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 fromAppend
s. -
interleavedIxes
, for more manipulation ofInterleave
- Add predicates (