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!
jonsterling/agda-effectful-forcing
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|