Open RileyEv opened 3 years ago
swapN :: (Length xs ~ m, Length ys ~ n) => (SNat m, SNat n) -> xs ++ ys -> ys ++ xs
swapN :: (Length xs ~ m, Length ys ~ n) => (SNat m, SNat n) -> xs ++ ys -> ys ++ xs