@hackage / verifiable-expressions

An intermediate language for Hoare logic style verification.

Latest0.6.3

Changelog

0.6.3 (23 Sep 2025)

  • Stack builds using LTS-24.2
  • Cabal builds under GHC 9.0 thru 9.12

0.6.2 (16 Jun 2021)

  • Support GHC 9.0

0.6.1 (03 Mar 2021)

  • Require at least Vinyl 0.9 (RMap etc. via type classes)
  • Support at least GHC 8.6, 8.8, 8.10