@@ -109,13 +109,19 @@ length [] = 0
109109length (x::xs) = 1 + length xs
110110
111111--------------------------------------------------------------------------------
112−-- Building bigger lists
112+-- Building (bigger) lists
113113--------------------------------------------------------------------------------
114114
115115(++) : List a -> List a -> List a
116116(++) [] right = right
117117(++) (x::xs) right = x :: (xs ++ right)
118118
119+repeat : a -> List a
120+repeat x = x :: repeat x
121+
122+replicate : Nat -> a -> List a
123+replicate n x = take n (repeat x)
124+
119125--------------------------------------------------------------------------------
120126-- Instances
121127--------------------------------------------------------------------------------