KG
KG
There was a lot of discussion about the "redundancy" of `.stroked` in variants, but `.stroked` is in fact the default variant for everything except arrows (for which `arrow.fat` was discussed...
Yeah, I suppose its been sitting here long enough. There's still Ryan's comment to address, but other than that we can leave future discussion for a future PR.
Each instance of `eqq` as a variant has been renamed to `equiv`, and likewise for `neqq` to `nequiv`. This conforms pretty well with how `approx` is used as a variant:...