v0.0.4

github-actions released this 09 Oct 23:06

· 60 commits to main since this release

86b57fe

GATlab v0.0.4

Diff since v0.0.3

Merged pull requests:

infer axiom type + improved normalize_decl (#113) (@kris-brown)
hotfix: coerce to AlgTerm (#114) (@kris-brown)
Refactor scopes (#115) (@kris-brown)

Contributors

kris-brown

Assets 2