measurable

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

commit 16bbfbbbe8392c36df192dde0406b73472fcaeab
parent d746b733421c4bd6a83ed3b80ec4cef518ac4b50
Author: Jared Tobin <jared@jtobin.ca>
Date:   Thu,  2 Mar 2017 18:31:20 +1300

Update README.

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

diff --git a/README.md b/README.md @@ -24,6 +24,7 @@ and implementation of the library here: * [Foundations of the Giry Monad][foun] * [Implementing the Giry Monad][impl] +* [The Applicative Structure of the Giry Monad][appl] 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 @@ -31,3 +32,4 @@ them to scale very far! [foun]: https://jtobin.io/giry-monad-foundations [impl]: https://jtobin.io/giry-monad-implementation +[appl]: https://jtobin.io/giry-monad-applicative