Paolo Capriotti

Couldn't this be fixed?

> @pcapriotti Thanks for the remarks about the proof. Keep in mind that this part of the book is still very rough and WIP. > > I might be mistaken...

Looks good now. If I understand correctly, the trick is to change the condition in the definition of X by quantifying over all cyclic permutations. This produces an equivalent condition,...

I'm seeing the same failure on a very similar setup (nvidia, archlinux, opengl backend). I've tracked it down to [this line](https://github.com/gfx-rs/wgpu/blob/trunk/wgpu-hal/src/gles/egl.rs#L275): ```rust // Android emulator can't natively present either. let...

Closing this one, as it's really hard to rebase. I've started a new PR and I'm slowly copying code from here.

Given that the `Alternative` instance also makes `Parser a` into a monoid (for general `a`, even), I'm not really convinced the ability to remove a single function call for the...

I didn't want to express anything particularly deep, just that `()` also determines a possible `Monoid` instance. So if I'm faced with an `Alternative` functor `f` applied to a monoid...

As a data point, in some other library I wrote I have a functor `F` which is morally always `Alternative`, but only `Applicative` in a special case. Unfortunately, this sort...

Nice! Here are times I observed for setup and new integration: #### old ``` make db-migrate 2.83s user 1.92s system 1% cpu 4:47.96 total ./dist/integration 52.89s user 22.20s system 51%...

I haven't updated this library in a long time. With the recent changes to instance arguments in Agda, the overloading mechanism that I was using should probably be redesigned and...