Skip to content

Releases: camfort/verifiable-expressions

Version 0.6.2

16 Jun 16:22
@raehik raehik
v0.6.2
a98b0c2
Compare
Choose a tag to compare
Version 0.6.2 Latest
Latest
  • Support GHC 9.0
Assets 2
Loading

Version 0.6.1

03 Mar 14:12
@raehik raehik
v0.6.1
f085865
Compare
Choose a tag to compare
Version 0.6.1
  • Require at least Vinyl 0.9 (RMap etc. via type classes)
  • Support at least GHC 8.6, 8.8, 8.10
Assets 2
Loading

Version 0.6.0

17 Aug 21:56
@mrd mrd
v0.6.0
778153a
Compare
Choose a tag to compare
Version 0.6.0

Upgrade to SBV 8-series.

Assets 2
Loading