search

harp-project / AML-Formalization

GNU Lesser General Public License v2.1
10 stars 5 forks source link

Precedence of `=ml` #398

Closed berpeti closed 3 months ago

berpeti commented 1 year ago

Sort out the precedence of equality. For example [[mlBool]] =ml mlTrue or mlFalse should be understood as [[mlBool]] =ml (mlTrue or mlFalse).

berpeti commented 3 months ago

This is not a bug, but a property of ML: or can connect terms and formulas too, in the first case, it should bind stronger than =ml, while in the second case, it should bind weaker.