grunweg

Results 112 comments of grunweg

Extend and tweak documention in select.rs and theme.rs.

Sorry for all the PRs right now. I'm done for the moment - take as much time pondering this as you need or prefer!

chore(Algebra/BigOperators): add missing deprecation dates

awaiting-review

chore(Algebra/BigOperators): add missing deprecation dates

awaiting-review

chore(Algebra/BigOperators): add missing deprecation dates

bors r+

chore: `FunLike` instance for measure classes

Coming here from triaging old PRs: are these changes still relevant? If so, can you merge master, please? (I'm happy to review golfing PRs quickly.)

chore: reorganize and rename the Embedding --> Homeomorph constructions

It looks like this PR is ready for landing, except for a merge conflict. Can you merge master, please? Thanks! Personally, I find this PR a nice clean-up and would...

chore: reorganize and rename the Embedding --> Homeomorph constructions

Coming here for PR triage: this looks like it could be a useful PR. @ADedecker What's the current status of the PR? Do you have time to merge master (or...

chore: reorganize and rename the Embedding --> Homeomorph constructions

No worries, your well-being is more important than whatever code!

feat: generic linter, absorbing `cdot` linter and `attribute [instance] in` linter

awaiting-author

feat: generic linter, absorbing `cdot` linter and `attribute [instance] in` linter

:tada: Wow, thanks for rewriting my linter! I wasn't sure whether an `attribute` declaration was always at the top (as opposed to possibly being nested): it seems it always is,...