I would like to propose a $200 bounty for standardizing record puns, as discussed in https://github.com/dhall-lang/dhall-lang/issues/867
Unlike prior expense proposals, this doesn’t need to be done by a new contributor.
The main reason I suggest this proposal is that several people have expressed interest in this being standardized, but it has stagnated for a while. Also, I don’t currently have the bandwidth to standardize this as I’m focusing on Kubernetes-related improvements to the ecosystem.
According to our expense guidelines I need to formally document the following:
What purpose is the expense for?
To standardize support for record puns, as agreed upon in: https://github.com/dhall-lang/dhall-lang/issues/867
Is this a one-time or recurring expense
What is the amount you wish to expense?
For reference, our current project balance is $635.88
The expense is reviewed the same way we review changes to the language standard.