Gregory's Server
@jrose
ehh i'm not convinced these are different units.
should hight and width also be seperate types? what about radius and diameter?
should we use seperate units for how fast sound travels in a substance and how fast a car goes?
@irenes@mastodon.social
@lily Hmm fair, they may usefully be different types without being different units. (in the spirit of “miles per gallon is area density”)