1{- 2Replace a section of `Text` with another inside a `Text` literal. 3-} 4let replace 5 : ∀(needle : Text) → ∀(replacement : Text) → ∀(haystack : Text) → Text 6 = Text/replace 7 8let example0 = assert : replace "-" "_" "foo-bar" ≡ "foo_bar" 9 10let example1 = assert : replace "" "" "" ≡ "" 11 12let example2 = assert : replace "" "" "" ≡ "" 13 14in replace 15