Add Limits.Product to build#78

Open

clayrat wants to merge 10 commits intomasterfrom

Commits on Jul 9, 2019

Commits on Jul 24, 2019

Commits on Aug 22, 2019

Commits on Aug 29, 2019

Merge branch 'master' of https://github.com/statebox/idris-ct
clayrat
committed

Commits on Oct 3, 2019

Merge branch 'master' of https://github.com/statebox/idris-ct
clayrat
committed

Commits on Mar 11, 2020

Merge branch 'master' of https://github.com/statebox/idris-ct
clayrat
committed

Commits on Mar 12, 2020

add product.idr to build
clayrat
committed