v0.1.5

github-actions released this 25 Aug 16:55

· 112 commits to master since this release

88dc9f0

TermInterface v0.1.5

Diff since v0.1.4

Compatibility with symbolicutils and symbolics:
gethead is now operation.
getargs is now arguments.
isterm is now istree

Assets 2