Skip to content

Release 0.1.9.0
Compare
Choose a tag to compare
@365andreas 365andreas released this 03 Jul 17:15
· 567 commits to master since this release
v0.1.9.0
9129241
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
  • all code now verifiable with LiquidHaskell
  • extended monitoring expression: can compare value against other observables
  • when setting disable_* flags, also removed warnings for import/export of types/functions
Assets 2
Loading