codo-notation

A notation for comonads, analogous to the do-notation for monads. Requires the TemplateHaskell and QuasiQuotes extensions. Example 1: Example 2: Further explanation of the syntax can be found in the following (short) paper: http://www.cl.cam.ac.uk/~dao29/drafts/codo-notation-orchard-ifl12.pdf with a numer of examples. Further examples can be found here: https://github.com/dorchard/codo-notation.