Open Strilanc opened 11 months ago
Idea from Austin: when decomposing errors, merge error A ^ B back into error A B when error A C and error B C exist for any C.
error A ^ B
error A B
error A C
error B C
C
Idea from Austin: when decomposing errors, merge
error A ^ B
back intoerror A B
whenerror A C
anderror B C
exist for anyC
.