@@ -427,7 +427,7 @@ split p xs =
427427||| It is equivalent to (take n xs, drop n xs)
428428||| @ n the index to split at
429429||| @ 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)
431431splitAt n xs = (take n xs, drop n xs)
432432
433433partition : (a -> Bool) -> List a -> (List a, List a)