I would like to propose a $200 bounty for standardizing a new
Text/replace built-in of type:
Text/replace : ∀(needle : Text) → ∀(replacement : Text) → ∀(haystack : Text) → Text
Some relevant discussions include:
According to our expense guidelines, I need to formally document the following:
What purpose is the expense for?
To standardize support for a
Text/replacebuilt-in as tracked in this issue
Is this a one-time or recurring expense?
What is the amount you wish to expense?
For reference, our current project balance is $1,346.84
The expense is reviewed the same way we review changes to the language standard.