Skip to content

Instantly share code, notes, and snippets.

@fronx
Created October 29, 2013 16:31
Show Gist options
  • Save fronx/7218033 to your computer and use it in GitHub Desktop.
Save fronx/7218033 to your computer and use it in GitHub Desktop.
data Unit a = Kilogram a
| Meter a
| Second a
-- 1 N = 1kg * m/s^2
-- lalala pseudo-code here!!!
type Newton a = Div (Div (Mul (Kilogram a) (Meter a))
(Second a))
(Second a)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment