Filter with closures#18

Open

cholcombe973 wants to merge 13 commits intononconvextech:mainfrom

cholcombe973:main

Commits on May 17, 2024

Clippy fixes and factor out duplicate code
cholcombe973
committed

Commits on May 21, 2024

Flexible filtering with a closure
cholcombe973
committed

Commits on May 23, 2024

cargo fmt
cholcombe973
committed

Commits on Jul 19, 2024

Remove time prepending
cholcombe973
committed

Commits on Aug 8, 2024

Commits on Aug 20, 2024

Commits on Nov 7, 2024