search

bjornbm / dimensional

Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
BSD 3-Clause "New" or "Revised" License
102 stars 16 forks source link

Move experimentally defined units to dimensional-codata? #119

Open dmcclean opened 8 years ago

dmcclean commented 8 years ago

I propose moving the experimentally defined units to dimensional-codata where they can be versioned alongside their values.

bjornbm commented 8 years ago

I have no objections.

On 2015-12-09, at 00:55, Douglas McClean notifications@github.com wrote:

I propose moving the experimentally defined units to dimensional-codata where they can be versioned alongside their values.

— Reply to this email directly or view it on GitHub https://github.com/bjornbm/dimensional/issues/119.

dmcclean commented 8 years ago

Doing this would require exporting the ability to create new metric names. Considering the best way to do that.