Skip to content

v0.4.0

Compare
Choose a tag to compare
@github-actions github-actions released this 29 Feb 18:28
· 35 commits to master since this release

TermInterface v0.4.0

Diff since v0.3.3

  • Simpler, unified interface
  • Separated head, children for any kind of S-Expression and operation, arguments for terms that represent function calls, where iscall is true
  • Replaced similarterm with maketerm

Merged pull requests: