On Tue, Apr 18, 2023, 5:54 AM Po Lu wrote: > Btw, even though I don't know exactly what this is about, ISTM that > whatever you're doing could use a name that isn't missing a letter, like > `future'. Why `futur'? > That is Stefan M's flourish. I'm deferring to it as we're discussing his WIP library. Lynn