Skip to content
This repository has been archived by the owner on Aug 28, 2024. It is now read-only.

anthem 0.1.3
Compare
Choose a tag to compare
@pluehne pluehne released this 30 Mar 14:29
· 216 commits to master since this release
v0.1.3
This tag was signed with the committer’s verified signature. The key has expired.
pluehne Patrick Lühne
GPG key ID: 05F3611E97A70ABF
Expired
Learn about vigilant mode.
b59dca5
This commit was signed with the committer’s verified signature. The key has expired.
pluehne Patrick Lühne
GPG key ID: 05F3611E97A70ABF
Expired
Learn about vigilant mode.

Features

  • support for anonymous variables

Bug Fixes

  • fixes incorrectly simplified rules with comparisons
  • fixes misleading error message concerning negated, unsupported body literals
Assets 3
Loading