comonad

August 26, 2017 ยท View on GitHub

This package provides comonads for Idris.

Installation

idris --install comonad.ipkg

Documentation

You can find documentation here.

Contents

  1. 1Installation
  2. 1.1Documentation