idris-comonad (bower): An implementation of comonads in idris
Keywords: comonad|comonads|idris