GitHub - radrow/codo-notation: Codo notation for programming with comonads in Haskell

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 46 Commits
src/Language/Haskell		src/Language/Haskell
Context.lhs		Context.lhs
LICENSE		LICENSE
README		README
Setup.hs		Setup.hs
arrays.lhs		arrays.lhs
codo-notation.cabal		codo-notation.cabal
edit-distance-array.lhs		edit-distance-array.lhs
edit-distance-trans.lhs		edit-distance-trans.lhs
edit-distance.lhs		edit-distance.lhs
lucid-streams.lhs		lucid-streams.lhs
num-functions.lhs		num-functions.lhs
sample.lhs		sample.lhs
sample2.lhs		sample2.lhs

Repository files navigation

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