Skip to content

Instantly share code, notes, and snippets.

@bjartwolf

bjartwolf/2.5.4.fs

Created April 21, 2014 19:14
Show Gist options
  • Save bjartwolf/11153238 to your computer and use it in GitHub Desktop.
Save bjartwolf/11153238 to your computer and use it in GitHub Desktop.
Download ZIP
2.5.4.fs
Raw
2.5.4.fs
let VolumeA0IsPyramid ((h:decimal<m>), (b:decimal<m>)) =
RoundM3(V h 0m<m> b) = RoundM3( b * b * h / 3m )
Check.Quick (Prop.forAll twoDecimals VolumeA0IsPyramid)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment