Revision history for heftia

0.1.0.0 -- 2023-09-18

• Initial public release.

0.2.0.0 -- 2024-07-17

• Redesign from scratch.
• Released as a beta version.

0.3.0.0 -- 2024-09-01

• Fixed #7: bug on interposeRecH. https://github.com/sayo-hs/heftia/issues/7
• Fixed #8: bug on subsume. https://github.com/sayo-hs/heftia/issues/8
• Added effect list manipulation functions such as raiseNUnderM. https://github.com/sayo-hs/heftia/issues/4
• Update the data-effects version to 0.1.1.