Skip to content

Instantly share code, notes, and snippets.

@bjartwolf

bjartwolf/2.5.1.fs

Created April 21, 2014 18:14
Show Gist options
  • Save bjartwolf/11151261 to your computer and use it in GitHub Desktop.
Save bjartwolf/11151261 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
2.5.1.fs
open System
open System.IO
open FsCheck
open FsCheck.Xunit
[<Measure>] type m
[<Measure>] type Area = m^2
[<Measure>] type Volume = Area*m
let f (h:decimal<m>) = h
let g (a: decimal<m>) (b: decimal<m>):decimal<m^2> = ?
let V h a b = f h * g a b
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment