Skip to content

v0.3.0

Compare
Choose a tag to compare
@mseri mseri released this 03 Mar 14:39
· 9 commits to master since this release

CHANGES:

  • Update to support owl 0.8.0
  • Arr integration (#14)
  • Opam files: make cross-versioning stricter
  • Port to dune2
  • Update documentation