Signed-off-by: Jim Pryor <profjim@jimpryor.net>
We're going to keep all of that, except dropping the worlds. And instead of talking about
We're going to keep all of that, except dropping the worlds. And instead of talking about
-> \[[expression]] in discourse possibility `(r, g, w)`
+> \[[expression]] in possibility `(r, g, w)`
we'll just talk about \[[expression]] and let that be a monadic object, implemented in part by a function that takes `(r, g)` as an argument.
we'll just talk about \[[expression]] and let that be a monadic object, implemented in part by a function that takes `(r, g)` as an argument.