zxcalc/quizx

Simplify cat2 with pi in the middle/ Pi-copy

Closed this issue · 0 comments

Codsilla commented

Quizx doesn't simplify a cat2 with pi in the middle ( a chain T NOT T) even though it should since we can simply do a $\pi$-copy and then fuse the 2 T.

In general, a $\pi$-copy rule would be nice.