« Changelog History


ghc-typelits-natnormalise v0.3 Release Notes

Release Date: 2015-06-03 // almost 9 years ago
    • Find more unifications:
      • <TyApp xs> + x ~ 2 + x ==> [<TyApp xs> ~ 2]
    • 🛠 Fixes bugs:
      • Unifying a*b ~ b now returns [a ~ 1]; before it erroneously returned [a ~ ], which is interpred as [a ~ 0]...
      • Unifying a+b ~ b now returns [a ~ 0]; before it returned the undesirable, though equal, [a ~ ]