This is based on Escardó's "effectful forcing" development. See http://www.cs.bham.ac.uk/~mhe/dialogue/dialogue-lambda.html for the original code and work to which we owe so much!
This is based on Escardó's "effectful forcing" development. See http://www.cs.bham.ac.uk/~mhe/dialogue/dialogue-lambda.html for the original code and work to which we owe so much!