Fairness in disjunctions

When we last left our little logic DSL, it had grown a monad . I relent Solving the technical interview Solving the technical interview, explained Monadic logic Fairness in disjunctions With that working, let’s turn our attention to another piece of functionality expected from a logic language: fairness. That is, if we create a disjunction between two goals ( g ||| h ), we should sample from the…