Stevan A

One way would be to implement caching of ghc etc, like e.g. `setup-go` [does](https://github.com/actions/setup-go/blob/27b43e1b0d324a64f8fcc14f931e45ae178f6b19/src/installer.ts#L56).

Glad you like it! > Have you seen the recent support for statistically sound checking of coverage criteria in QuickCheck, namely the checkCoverage function? It would be cool if that...

@thalerjonathan: Cool, I'm happy you found another use case for this feature. If possible please do share some of your work when you're done. @nick8325: I've now seen John's "Building...

I played around a bit and managed to get something that looks similar to Erlang quickcheck's state machine approach: https://gist.github.com/stevana/1595f3190c87220c59caaaf7c2aae04b . It seems to me that the generator, shrink function,...

I had another go at a pre-/post-condition specification; this time of a memory cell: https://gist.github.com/stevana/3973198ab378995691c8b1a68369c492 . The difference to my previous attempt is that there's no free monad nor trace,...

Here's a version that also checks for race conditions: https://gist.github.com/stevana/a2bb4640d1552dd69abcf93a30d0814e .

Nice; I like your typed commands and that the post-condition returns a property rather than a boolean. I'm not sure about using the state when generating commands though, as it...

@saurabhnanda: The latter.

Small update: I've stolen the well-typed commands and postconditions returning a Property rather than Bool ideas, thanks @nick8325! I've also added the above four problems and some more stuff as...

@saurabhnanda: You seem to have discovered one of the reasons for why the types are complicated in the `quickcheck-state-machine` library! To solve the problem that you describe the library uses...