measurable

commit 6ea47b6ae705df6875d27200a7dc96d774405bac
parent 66f686ce3b283fb68292a350e9f97404f514590b
Author: Jared Tobin <jared@jtobin.ca>
Date:   Sat, 19 Oct 2013 23:56:58 +1300

Improve explanatory text.

Diffstat:
M
src/Measurable.hs
 | 
4
+++-

1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/Measurable.hs b/src/Measurable.hs
@@ -46,7 +46,9 @@ import Numeric.Integration.TanhSinh
 --   suit.
 --
 --   The strength of the Monad instance is that it allows us to do Bayesian 
---   inference.  prior >>= likelihood == posterior.
+--   inference.  That is, 
+--
+--   priorMeasure >>= likelihoodMeasure == posteriorPredictiveMeasure
 
 newtype Measure a = Measure { measure :: (a -> Double) -> Double }