Skip to content

v0.9.1.0
Compare
Choose a tag to compare
@dorchard dorchard released this 10 Jan 22:16
· 773 commits to main since this release
v0.9.1.0
c27c3a6
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.

0.9.1.0

  • Public and Private are now usable as synonyms for Lo and Hi unless the SecurityLevels extension is turned on.
  • 'Level' semiring only in scope when SecurityLevels extension is on.
  • Builds on ghc 9.2 now
Assets 3
Loading