@@ -427,7 +427,7 @@ split p xs =
427||| It is equivalent to (take n xs, drop n xs)
427||| It is equivalent to (take n xs, drop n xs)
428||| @ n the index to split at
428||| @ n the index to split at
429||| @ xs the list to split in two
429||| @ xs the list to split in two
430−splitAt : Nat -> List a -> (List a, List a)
430+splitAt : (n : Nat) -> (xs : List a) -> (List a, List a)
431splitAt n xs = (take n xs, drop n xs)
431splitAt n xs = (take n xs, drop n xs)
433partition : (a -> Bool) -> List a -> (List a, List a)
433partition : (a -> Bool) -> List a -> (List a, List a)