Nicolas Rinaudo

I do not mean this to be snarky, but: what more do you want than the example I’ve given you? Should I present it in terms of input slides and...

Do not hurry on my account, I worked around it for my own problem. This was just meant as a record of the issue, so that you're aware of it...

I had the same issue, and at least in my case, it turned out to be related to iTerm and not zsh. A recent update of iTerm seems to have...

I've confirmed that #51 solves the issue as @travisbrown reported it. The following still fails, though: ``` scala import org.scalacheck._, Shapeless._ sealed trait Or[+A, +B] extends Product with Serializable case...

I was actually wondering about this behaviour - that `Gen` of functions require `Arbitrary` instances for their return values that can never fail. Is that really an acceptable behaviour? I...

Is there still a need for this, given rickynils/scalacheck#301?

My first instinct is that all PlusCal specifications can be found through: ``` grep -lri -- "--\(fair\s\+\)\?algorithm" | grep -v toolbox | grep \.tla ``` * all PlusCall specifications must...

Err... I'm not sure what you mean. The two grep commands I've listed work specifically and only for identifying PlusCal or TLA+ specifications. So if you're asking whether they'll pick...

Sure, that'd work as well. It'd be more work to maintain, but it'd also be potentially more useful. Additional work: - specify acceptable metadata key (`language`, `level`, ...) and the...

No particular reason, no - I've never needed it so never even realised it was lacking. Thanks for reporting it and providing an `Encoder` implementation! I'll try to work this...