Skip to content

Add Limits.Product to build - #78

Open
clayrat wants to merge 10 commits into
masterfrom
add-product
Open

Add Limits.Product to build#78
clayrat wants to merge 10 commits into
masterfrom
add-product

Conversation

@clayrat

@clayrat clayrat commented Mar 12, 2020

Copy link
Copy Markdown
Member

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

clayrat commented Mar 12, 2020

Copy link
Copy Markdown
Member Author

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.

1 participant