Open TsavyPrince opened 6 months ago
⅋ (multiplicative disjunction) has a loop where & (additive conjunction) doesn't.
Thanks @TsavyPrince !
⅋ (multiplicative disjunction) has a loop where & (additive conjunction) doesn't.![image](https://github.com/fabrizioschiavi/pragmatapro/assets/18726931/48fc998b-f4b0-41d4-a996-d9ad9d364ead)