Add Limits.Product to build

statebox / idris-ct

formally verified category theory library

GNU Affero General Public License v3.0

259 stars 23 forks source link

Open clayrat opened 4 years ago

clayrat commented 4 years ago

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

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

clayrat commented 4 years ago

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