Open nfrisby opened 5 years ago
What does it take for the plugin to also support union, intersection, etc. at kind Frag k?
Frag k
I think quantity types (like Gundry's uom-plugin) would be usable if even just ~/EqFrag understood :+: and NegFrag.
~
EqFrag
:+:
NegFrag
What does it take for the plugin to also support union, intersection, etc. at kind
Frag k
?