Open zenna opened 6 years ago
Currently equivalence of composite arrows. I tried fixing this a while ago and recall it being more complex than it seems (can't remember why). With #112, we may need two notions of equivalence.
Currently equivalence of composite arrows. I tried fixing this a while ago and recall it being more complex than it seems (can't remember why). With #112, we may need two notions of equivalence.