Open disconcision opened 2 months ago
On build server dev I'm seeing a variety of suspicious-looking errors on both these example sheets:
Thia is due to arrow associativity being broken
On build server dev I'm seeing a variety of suspicious-looking errors on both these example sheets: