Douglas McClean

So your suggestion about fixing the angular momentum and moment of inertia definitions from the ones I had goofed up works. AFAICS the only remaining issues with this idea are:...

I'm going to see if I can recruit anyone to work on this with me at [Hac Boston](http://www.meetup.com/Boston-Haskell/events/223607923/) in a couple of weeks, since I don't understand how to do...

Objective is to get past problems like this that cripple my attempt at dimensional linear algebra: ``` examples\Controls.hs:42:46: Couldn't match type `((x / iv) / u) * u' with `((x...

Hi @adamgundry. Definitely have checked out your work and your paper, which is cool. It looks like you do solve the same type plugin problem that this issue is about,...

Digging in to the way the uom-plugin solver works and trying to line up Adam's terminology with ours. His `NormUnit` type fills essentially the same purpose as our `Dimension'` type,...

Also this is probably an embarrassingly simple question, but I could use help unpacking this comment: ``` -- | A substitution is essentially a list of (variable, unit) pairs, --...

Well, I thought I understood... If it's true that `Dimension'` is our analog of `NormUnit` then I'm confused, because: ``` -- | Apply a substitution to a single normalised unit...

Having the implementation as the solver gives @adamgundry's approach a much nicer type for square root than ours. From his paper: ``` sqrt :: (Floating a) => Quantity a (u...

OK, I think I figured out everything except the `Convert` module. Our trick is that applications of the `Dim` type constructor may be partially known and partially not, depending on...

I'm not completely sure that I'm reading it right, but I think that [this paper](http://arxiv.org/pdf/1012.4891.pdf) discusses the problem of allowing variables in the exponents. I think we are case E2...