ghc-typelits-natnormalise v0.4.1 Release Notes
Release Date: 2016-02-04 // about 8 years ago-
- Find more unifications:
F x y k z ~ F x y (k-1+1) z ==> [k := k], whereFcan be any type function
- Find more unifications:
F x y k z ~ F x y (k-1+1) z ==> [k := k], where F can be any type function