haskhol-core v1.1.0 Release NotesRelease Date: 2015-02-17 // almost 8 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.