Codo notation for programming with comonads in Haskell
Haskell
Permalink
Failed to load latest commit information.
src/Language/Haskell
Context.lhs
LICENSE
README
Setup.hs
arrays.lhs
codo-notation.cabal fixed a bug in tuple patterns, allowed the 'context' keyword to be us… Mar 15, 2013
edit-distance-array.lhs
edit-distance-trans.lhs switched to Edward Kmett's Control.Comonad package Aug 22, 2012
edit-distance.lhs
lucid-streams.lhs
num-functions.lhs
sample.lhs updated cabal docs Oct 1, 2012
sample2.lhs

README

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