Skip to content

Add Limits.Product to build #78

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
clayrat wants to merge 10 commits into
base: master
Choose a base branch
from
Open

Add Limits.Product to build #78

Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
08fa821
typo in module name
clayrat Jul 9, 2019
fef4e6c
Merge branch 'master' of https://github.com/statebox/idris-ct
clayrat Jul 9, 2019
38d7227
typo
clayrat Jul 24, 2019
71f3574
Merge branch 'master' of https://github.com/statebox/idris-ct
clayrat Jul 24, 2019
55c67d6
Merge branch 'master' of https://github.com/statebox/idris-ct
clayrat Aug 22, 2019
e2f8db4
Merge branch 'master' of https://github.com/statebox/idris-ct
clayrat Aug 22, 2019
478e107
Merge branch 'master' of https://github.com/statebox/idris-ct
clayrat Aug 29, 2019
4fc8064
Merge branch 'master' of https://github.com/statebox/idris-ct
clayrat Oct 3, 2019
896621a
Merge branch 'master' of https://github.com/statebox/idris-ct
clayrat Mar 11, 2020
c2ef5a3
add product.idr to build
clayrat Mar 12, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions idris-ct.ipkg
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -66,6 +66,7 @@ modules
, Lens.Lens
, Lens.SimpleLens
, Limits.Limit
, Limits.Product
, Limits.Pullback
, Limits.TerminalObject
, Monad.IOMonad
Expand Down