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 15 forks source link

Polydimensional zero #174

Closed dmcclean closed 7 years ago

dmcclean commented 7 years ago

This is an implementation of DynQuantity arithmetic using polydimensional zeros, as proposed in #170.

dmcclean commented 7 years ago

See the documentation on polydimensionalZero for an interesting note on division.

bjornbm commented 7 years ago

If you're happy with it then don't wait for my review before proceeding/merging!

On 13 sep. 2016, at 20:39, Douglas McClean notifications@github.com wrote:

Assigned #174 to @bjornbm.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or mute the thread.