search

ndslusarz / formal_LDL

MIT License
3 stars 1 forks source link

tentative precedence level #8

Closed affeldt-aist closed 1 year ago

affeldt-aist commented 1 year ago

https://github.com/ndslusarz/LDL_coq/blob/f6f4c422bb2f111242d2e878b32fb51f0dcb20ef/LDL_function.v#L82

Maybe try these ones (not sure about unary minus though, maybe 35?)

<= -> 70
== -> 70
+ -> 50
* -> 40
/\ -> 40
~ -> 75
=> -> 55

@ndslusarz @hoheinzollern

ndslusarz commented 1 year ago

Solved by #10