agda-coexp Formalisation of some ideas related to continuations and co-exponentials, see slides here. Related: https://github.com/vikraman/coexp