Make it easier to refine the return type

propensive / contextual

Statically-checked string interpolation in Scala

https://soundness.dev/contextual/

251 stars 23 forks source link

Open propensive opened 10 months ago

propensive commented 10 months ago

Code to do this exists in Guillotine (and may soon exist in Nettlesome), but could be generalized.