Add _Cons and _Snoc instances for (Dual s) (Dual t) a b#950
Open
Taneb wants to merge 1 commit intoekmett:masterfrom
Open
Add _Cons and _Snoc instances for (Dual s) (Dual t) a b#950Taneb wants to merge 1 commit intoekmett:masterfrom
Taneb wants to merge 1 commit intoekmett:masterfrom
