Skip to content

Instantly share code, notes, and snippets.

@stefan-wullems
Last active May 4, 2022 09:56
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save stefan-wullems/acb5881efb9744b1eefc3d88d443d0e3 to your computer and use it in GitHub Desktop.
Save stefan-wullems/acb5881efb9744b1eefc3d88d443d0e3 to your computer and use it in GitHub Desktop.
type Quantity unit =
Quantity Int
-- SUPPORTED UNITS ---------
type Newtons = Newtons
type Meters = Meters
type Amperes = Amperes
-- COMBINE -----------------
add : Quantity unit -> Quantity unit -> Quantity unit
multiply : Quantity unit -> Quantity unit -> Quantity unit
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment