code5hot

hm, it seems I've misunderstood the docker file in my change so it probably doesn't fix the problem. So I wonder, why is happy < 1.19.10 in the image?

so perhaps this pull request isn't the right thing to do - at least not without the haskell.org repos being updated first. Perhaps a mere rebuild is required

hscolour is added in pull request #17

After getting a fault similar to this which was reported to be fixed in later GHC versions, I upgraded ubuntu, extended the various version dependencies in xdot, ghc-vis and possibly...

I'll just wait until stack, ubuntu and cabal have a full set of mutually inter compatible packages then On Wed, 4 Dec 2019, 17:06 Hans Roland Senn, wrote: > PR...

I think this requirement should be removed: If our type is both a ComonadApply and Applicative we further require () = () as explained in https://www.youtube.com/watch?v=F7F-BzOB670, must be zippy, and...

Also, why is ComonadApply a direct subclass of Comonad? Intuitively I expect there must be a variety of comonad-like typeclasses whose laws can be constrained in ComonadApply where Comonad is...

I wonder if ComonadApply laws can be stated in terms of https://hackage.haskell.org/package/semigroupoids-5.2.1/docs/Data-Functor-Extend.html#v:extended instead of extract and would this allow us to define a zip operation for []? Giving us dot-product...

I was looking at the Tree implementation too. It's not entirely zippy but it's root has only one value so at that point and are the same and I don't...

well, at least I just showed with `==` that `` is right out because `duplicate (p q) /= (() duplicate p duplicate q)` which is one of the laws