Zulip Chat Archive

Stream: PR reviews

Topic: !4#1204 Data.Vector3

Scott Morrison (Apr 22 2023 at 23:13):

@Eric Wieser, would you be able to summarize the status on this one? It's been on the #queue4 a long time, and I've been ignoring it, but I'm not quite sure where we're up to.

Eric Wieser (Apr 22 2023 at 23:27):

I think Mario had some valid objections to the notation or unexpander I wrote, which I'm happy to trust him on; but haven't had time to apply the suggestions

Eric Wieser (Apr 22 2023 at 23:28):

I'm happy for someone to takeover the PR

Last updated: Dec 20 2023 at 11:08 UTC