measurable

A simple shallowly-embedded DSL for dealing with measures.
Log | Files | Refs | README | LICENSE

commit 2d5933893beac67d65e93928e34000d99ec997d5
parent 3a2c5a94c7d78a717752d223977db21705ed0b80
Author: Jared Tobin <jared@jtobin.ca>
Date:   Sat, 19 Oct 2013 16:39:38 +1300

Update examples.

Diffstat:
Mtests/Test.hs | 4+++-
1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tests/Test.hs b/tests/Test.hs @@ -43,6 +43,8 @@ main = do putStrLn "and now some 'woah, this actally seems to make sense' examples:" putStrLn "" + -- Subtraction of measures? + let iota = mu `msubtract` mu putStrLn $ "let X, Y be independent N(0, 1). mean of X - Y: " ++ @@ -50,7 +52,7 @@ main = do putStrLn $ "let X, Y be independent N(0, 1). variance of X - Y: " ++ show (variance iota) - -- + -- Product of measures? *pops out of cake* YEAH WE CAN DO THAT let phi = fromDensity $ genLocationNormal 2 xi = fromDensity $ genLocationNormal 3