clayrat / comonad

Comonads for Idris

comonad

This package provides comonads for Idris.

Installation

idris --install comonad.ipkg

Documentation

You can find documentation here.