#

coproduct

Here are 2 public repositories matching this topic...

BakerSmithA / alacarte-idris

Data Types à la Carte extensible syntax and semantics, implemented in Idris.

dsl idris coproduct la-carte

Updated Jun 3, 2019
Idris

Risto-Stevcev / idris-functors

Bifunctors and functor products, coproducts, and composition

composition functor idris coproduct functors bifunctor bifunctors functor-products

Updated Jul 14, 2017
Idris

Improve this page

Add a description, image, and links to the coproduct topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the coproduct topic, visit your repo's landing page and select "manage topics."