Follow
( Publications: 20 | Followers: 0 )

Types for Units-of-Measure in F#

No units (dimensionless) Product of units. Inverse. Unit quotient. Integer powers of units. Equations for units. Equivalence relation. Congruence. Abelian group axioms.

Publish on Category: All 1

0

Embed

Share

Upload

Types for Units-of-Measure in F#