Avg Release Cycle
2693 days 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.
🎉 Initial release of the HaskHOL core system.