v0.5.0
TermInterface v0.5.0
- Removed
type
argument frommaketerm
. Please use explicit type expressions, ormetadata
when representing types. - Removed
symtype
- Improved documentation
Merged pull requests:
- reorder api tems in the readme (#29) (@shashi)
- Bump julia-actions/setup-julia from 1 to 2 (#30) (@dependabot[bot])
- delete useless "not implemented" methods (#34) (@nsajko)
- make all
maketerm
arguments mandatory (#35) (@nsajko) - Remove
type
argument,symtype
, update docs (#39) (@0x0f0f0f)
Closed issues: