On Thu, Oct 16, 2014 at 12:37 PM, Shayne Fletcher < shayne.fletcher.50@gmail.com> wrote: > My question therefore is: Does anyone have suggestions/pointers > on how to approach automatic dimensional analysis via the OCaml type > system? > ​Thanks Octachron, Mario, Thomas... Great help. I've got some study to do! -- Shayne Fletcher