summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
7d2afb2)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Finally, we realize that we're going to have a set of `bool dpm`s to start with, and we need to compose \[[Qx]] with them. We don't want any of the monadic values in the set that wrap `false` to become `true`; instead, we want to apply a filter that checks whether values that formerly wrapped `true` should still continue to do so.
Finally, we realize that we're going to have a set of `bool dpm`s to start with, and we need to compose \[[Qx]] with them. We don't want any of the monadic values in the set that wrap `false` to become `true`; instead, we want to apply a filter that checks whether values that formerly wrapped `true` should still continue to do so.
- This is most easily done like this:
+ This could be handled like this:
fun entity_dpm ->
let eliminate_non_Qxs = fun truth_value ->
fun entity_dpm ->
let eliminate_non_Qxs = fun truth_value ->