Commit 2023-10-31 02:18 ab1d5a44
View on Github →refactor(Data/Sym/Sym2): simplify decidability instances (#8020)
There shouldn't be any need for a custom boolean algorithm here, typeclass search can find it.
Removes a porting comment from #1805 about boolEq, which isn't needed after all.