« Changelog History


ghc-typelits-natnormalise v0.4 Release Notes

Release Date: 2016-01-19 // over 8 years ago
    • Stop using 'provenance' hack to create conditional evidence (GHC 8.0+ only)
    • Find more unifications:
      • F x + 2 - 1 - 1 ~ F x ==> [F x := F x], where F can be any type function with result Nat.