Experiments with Agda support for Scott–Strachey denotational semantics.
For background and motivation, see the accompanying website.
The Agda code provided in the following examples imports modules from the standard Agda library version 2.1.
Advice and suggestions are welcome, e.g., by posting to the repo Discussions.
Peter Mosses [email protected]