measurable

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

commit 998b4f890ef96e65a353c7a36ff7d7d6c89f5405
parent 5ac9d3d8812d3d8de878ab78d10d94a667045ca4
Author: Jared Tobin <jared@jtobin.ca>
Date:   Thu,  2 Apr 2015 18:50:14 +1000

Fix readme formatting.

Diffstat:
MREADME.md | 4++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md @@ -1,7 +1,7 @@ measurable ---------- -*measurable* is a simple shallowly-embedded DSL for dealing with measures. +**measurable** is a simple shallowly-embedded DSL for dealing with measures. It uses a `Measure` synonym for a standard continuation type with a restricted output type and no `callCC` implementation. You can construct measures from @@ -16,7 +16,7 @@ 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. 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