Joshua Moerman

Thanks @makeworld-the-better-one! I was having troubles with this plugin and a newer version of jekyll. But your solution works as well! It also seems to be faster. It requires some...

To add to this discussion, kramdown now supports KaTeX as math output and it doesn't require javascript. See #35, building my website went from 20s to 1.5s using their approach.

I don't necessarily want the streams themselves to be asynchronous (producing a test is almost an instant operation, it's executing which takes time, so there is little gain in having...

> It would be ideal if, in turn, the test generation methods could use an up-to-date (partial) hypothesis from computeModel() to tailor their test selection procedure, but as of now...

@fhowar You are right about the random walk oracle. The design I propose is "word-based". I think it will work well for all equivalence oracles which use a membership oracle...

Just to give an update: next week, @praseodym, @ricksmet, others and myself will have a meeting to discuss this (among other learning related things). I will give an update after...

Hi @mtf90, I gave your fork a quick look, and it seems very nice! Especially, the W-method is elegantly coded. Do you have any idea how a state-dependent methods will...

Good question. The reason is that the function `conjugate` from `Data.Complex` had the constraint `RealFloat` instead of `Num` and they fixed that in 4.8. I wanted to use the same...

I think it's the most we can easily get out of QuickCheck. For the floating point instances and classes like `Normed`, we can still write unit tests.

These can be derived by using `Generic`s.