8 lines
194 B
Text
8 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
|