@@ -71,8 +71,8 @@ splitRec xs with (sizeAccessible xs)
71 splitRec [x] | acc | SplitOne = SplitRecOne
71 splitRec [x] | acc | SplitOne = SplitRecOne
72 splitRec (y :: ys ++ z :: zs) | Access acc | SplitPair
72 splitRec (y :: ys ++ z :: zs) | Access acc | SplitPair
73 = SplitRecPair
73 = SplitRecPair
74− (splitRec (y :: ys) | acc (y :: ys) (smallerLeft ys z zs))
74+ (splitRec (y :: ys) | acc _ (smallerLeft ys z zs))
75− (splitRec (z :: zs) | acc (z :: zs) (smallerRight ys zs))
75+ (splitRec (z :: zs) | acc _ (smallerRight ys zs))
77||| View for traversing a list backwards
77||| View for traversing a list backwards
78public export
78public export