faster float using `EitherFloat` #639

Closed

Closed

faster float using EitherFloat#639

Labels

opened

on May 26, 2023

Like EitherInt but for floats, see #634 and #620.

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests