All Versions
15
Latest Version
Avg Release Cycle
-
Latest Release
-
Changelog History
Page 1
Changelog History
Page 1
-
v0.5 Changes
- Switch to lattices-2
-
v0.4.2 Changes
- 👍 Allow a wide range of dynamically sorted values (not just expressions)
- Utility for extracting array accesses
-
v0.3.1 Changes
- Utility for extracting constants from expressions
-
v0.3 Changes
- Cleanup, GHC 8.6
-
v0.2 Changes
- ➕ Add
embed
andrestrict
to convert between expression languages
- ➕ Add
-
v0.1.9 Changes
- ⬆️ Bump dependencies
-
v0.1.8 Changes
- ⬆️ Bump dependencies
-
v0.1.7 Changes
- ➕ Added simple utility function
toDynamicallySorted
- ➕ Added simple utility function
-
v0.1.6 Changes
- GHC 8.4 compatibility
-
v0.1.5 Changes
- ⬆️ Bump dependencies, fix equality, tweak readme