Open kumasento opened 2 years ago
This assertion is from a minor issue due to missing inequalities for access relations.
But even this has been fixed, there seems to be another problem from Pluto -
The mod
operator would introduce local dims, and this cannot be handled by Pluto due to the line above.
Will try to fix this later.