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

commit d746b733421c4bd6a83ed3b80ec4cef518ac4b50
parent 24829e93334fafe6d2997ed957d2c03e320278aa
Author: Jared Tobin <>
Date:   Thu, 16 Feb 2017 10:42:18 +1300

Add links to posts.

Diffstat: | 9++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/ b/ @@ -18,9 +18,16 @@ do-notation. Query measures by integrating meaurable functions against them. Extract moments, cumulative density functions, or probabilities. -Check out the module comments or *examples* folder for sample use. +Check out the module comments or *examples* folder for sample use. You can +also check out a couple of blog posts I wrote about the theoretical foundations +and implementation of the library here: + +* [Foundations of the Giry Monad][foun] +* [Implementing the Giry Monad][impl] Caveat: while fun to play with, and rewarding to see how measures fit together, measure operations as nested integrals are exponentially complex. Don't expect them to scale very far! +[foun]: +[impl]: