Skip to content

Conversation

@clayrat
Copy link
Member

@clayrat clayrat commented Mar 12, 2020

I'm getting the following error on a clean rebuild without this somehow:

Type checking ./Limits/Product.lidr
 No ibc for Dual/DualCategory

@clayrat clayrat requested a review from marcosh March 12, 2020 19:00
@clayrat clayrat changed the title Add product Add Limits.Product to build Mar 12, 2020
@clayrat
Copy link
Member Author

clayrat commented Mar 12, 2020

Wow, my master is really behind, feel free to squash :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants