All Versions
Latest Version
Avg Release Cycle
0 days
Latest Release
3297 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.