« Changelog History


ghc-typelits-natnormalise v0.5 Release Notes

Release Date: 2016-08-17 // over 7 years ago
    • Solve simple inequalities, i.e.:
      • a <= a + 1
      • 2a <= 3a
      • 1 <= a^b