precedence for ReductionSystem and LTS notations #109
Description
These arrow notations probably have the wrong precedence, as noted in discussion in #57.
{{ message }}
precedence for
ReductionSystem and LTS notations #109These arrow notations probably have the wrong precedence, as noted in discussion in #57.