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/replace
built-in as tracked in this issue -
Is this a one-time or recurring expense?
One-time
-
What is the amount you wish to expense?
$200
For reference, our current project balance is $1,346.84
The expense is reviewed the same way we review changes to the language standard.