haskhol-core v1.1.0 Release Notes

Release Date: 2015-02-17 // over 9 years ago
  • โšก๏ธ 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.