idris-ct icon indicating copy to clipboard operation
idris-ct copied to clipboard

Published 20 hours ago • verified publisher icon statebox

Add Limits.Product to build

Open clayrat opened this issue 4 years ago • 1 comments

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

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

clayrat avatar Mar 12 '20 19:03 clayrat

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

clayrat avatar Mar 12 '20 19:03 clayrat