Douglas McClean

Hmm, possibly. I'll have to look in to that. Call that (a). Other possibilities include: (b) that it has something to do with pseudovectors (c) that it really is implicit...

I don't have a clue what that geometric algebra page is trying to say.

I should be sleeping, but I had an interesting idea about this which I am going to jot down briefly and in a half-baked fashion. It may be possible to...

Better still, perhaps only the angleless module needs to include `removeAngles` and `coerceAngles`, for the person who imported the angular module can achieve their effects more explicitly by multiplying/dividing by...

Could definitely be the case that we don't need the type family, as the anonymous version of it is pretty straightforward. Convenience methods like the ones you suggest are probably...

I agree. I'm curious if they found formalisms which were coherent but not convenient, or if that is just rhetorical. It still feels like the ratio-of-arc-length-to-radius definition of angle shouldn't...

Hiccup: does this make the name of `siUnit` a lie? Could change it to `baseUnit` as exported by the angular module?

Also, what types do we want for `sinh` and friends?

Also, still need a bit more planning on module names. Would we create flavored versions of `.Quantities`, `.Prelude`, and `.SIUnits` as well? If so, would there be any module with...

This branch is getting things rolling. Haven't done any of the module splitting yet, but did convert everything to angular flavors. https://github.com/dmcclean/dimensional-dk/tree/angles