Skip to content

0.1.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@mattxwang mattxwang released this 06 Oct 18:40
· 3 commits to main since this release
0.1.0
e3711a8
This commit was signed with the committer’s verified signature.
mattxwang Matt Wang
GPG key ID: 0C8DB42BF157DEAB
Learn about vigilant mode.

Our initial release! This matches 0.1.0 on opam.

This initial release supports basic BDD operations and WMC over reals/expected utility.

In future releases, expect:

  • a changelog!
  • documentation!
  • more tests :)
Assets 2
Loading