Armando Santos
So my thoughts are that with `Cocartesian`, `Cartesian` categories we can factor out what `Logic` is really made of and with `Bicartesian` we can factor out the relation between `∧`...
Are laws like: `∨-swap : ∨ ∘ swap ≈ ∨` (commutativity of or, etc) needed? should this be bundled in something like semi-ring?
@conal I've made some changes. I couldn't get the bundles to work out so I just added some more boolean algebra laws. I left the distributive laws commented as they...
Is it maybe a naming issue? what if you chose maybe name for the pattern?
Nevermind I understood it the other way around. What if you define 2 patterns with different names for left and right associative _,_ ?
Thanks for noticing the typo!
It would be interesting indeed! Do you have in mind something simple such as using the already provided `toList`/`fromLists` functions? On Sun, 31 May 2020, 19:02 iko, wrote: > I...
I see! Thanks a lot for your input! I'll try this approach and hopefully it seems a lot more clean! I think that if this works the use of `fromLists`...
I gave this a try and it seems to work fine for most cases but for very large matrices the compiler simplifier exhausts the ticks. Changing to this type class...