Dave Laing

That stop-gap script is working well for me with Emacs. In some circumstances it might be nice to have it fall back to just running the commands if `shell.nix` isn't...

Hmm. I've looked at this a little, and it seems like the post I linked is able to implement `one` because of the representation that they have chosen for matrices,...

Hmm, on reflection I think I just like the idea of expressing graphs using the Semigroup / Monoid / Semiring / StarSemiring / Dioid heirarchy, where everything is lawful. It...

I'm actually keen to take a run at this work for `DHashMap` and working out how to implement the equivalents of `fan` and `merge` in the Spider. If it turns...

I've got something [here](https://github.com/dalaing/reflex-test/blob/master/src/Reflex/Dom/Test.hs#L130) that might be interesting. To be useful it would need the ability to kill a `mainWidget` from GHC code, and would need helper functions to read...

I've used something like that for Hedgehog and Criterion integration in my [older testing repository](https://github.com/dalaing/reflex-testing/blob/master/src/Reflex/Test.hs). It works, but if you can't kill the WebView then your test executable isn't going...

Things like [this](https://byorgey.wordpress.com/2016/03/23/boltzmann-sampling-for-generic-arbitrary-instances/) are also possible.

I've been thinking about this a little. Is it strictly necessary to have the generate-list-of-actions phase and then the carry-out-the-actions phase? Would it be possible to create a GenT directly...

I'm glad you liked it! I'm really not sure when I'll get around to finishing that off. If I have time I'd like to revisit that to finish off the...

This might be fixed now - could you have another try with the latest from master?