7 lines
194 B
Text
7 lines
194 B
Text
strRepeat : Nat -> String -> String
|
|
strRepeat Z s = ""
|
|
strRepeat (S n) s = s ++ strRepeat n s
|
|
|
|
chrRepeat : Nat -> Char -> String
|
|
chrRepeat Z c = ""
|
|
chrRepeat (S n) c = strCons c $ chrRepeat n c
|