codo-notation

codo-notation copied to clipboard

The codo-notation provides a lightweight, do-like, syntactic sugar for programming with comonads in Haskell.

A number of examples can be found here: https://github.com/dorchard/codo-notation

and in the following paper: http://www.cl.cam.ac.uk/~dao29/drafts/codo-notation-orchard-ifl12.pdf

Dominic Orchard