Awesome
comonad
This package provides comonads for Idris.
Installation
idris --install comonad.ipkg
Documentation
You can find documentation here.
This package provides comonads for Idris.
idris --install comonad.ipkg
You can find documentation here.