Skip to content

v0.1.0
Compare
Choose a tag to compare
@fizruk fizruk released this 02 Feb 18:00
· 1682 commits to master since this release
v0.1.0
9cda60b
This commit was signed with the committer’s verified signature.
fizruk Nikolai Kudasov
GPG key ID: A4CB545029471D8A
Learn about vigilant mode.

First release of the normalizer:

  • Support syntax for $\varphi$-calculus
  • Basic support for user-defined rewrite rules (in YAML format, via --rules-yaml FILE option)
  • Step-by-step normalization via --chain option
Assets 2
Loading