All Versions
Latest Version
Avg Release Cycle
0 days
Latest Release
3147 days ago

Changelog History

  • v1.1.0 Changes

    February 17, 2015

    ⚡️ Major Update to HaskHOL Core including:

    • 🚚 Move from type classes to type families for theory context types.
    • 🚚 Move from template haskell to acid-state for theory context storage.
    • Primitive logic has been converted to a "semi-stateless" form.
    • Most String uses have been replaced with Text instead.
    • 🛠 Numerous bug fixes and other things I've forgotten.
  • v1.0.0 Changes

    February 17, 2015

    🎉 Initial release of the HaskHOL core system.