Description
Vinyl compatibility with first-class-families.
README.md
fcf-vinyl
Vinyl compatibility with first-class-families. Exports a version of rappend
which uses the fcf version of (++)
rather than the version in Data.Vinyl.TypeLevel
. This makes it easier to prove things via the fcf.
If there are more ways to ease compatibility with FCF, they will be added here.