vikraman/coexp

Continuations and Co-exponentials

coexp

This is a toy library which explores some ideas around continuations and co-exponentials. Some details are available on the slides here.

Any contributions and suggestions are most welcome.

Here are some other repositories which also explore continuations and co-exponentials:

• https://github.com/mstewartgallus/prologish/
• https://github.com/fresnel/fresnel
• https://github.com/robrix/sequoia
• https://github.com/jmanuel1/idris-stuff/