Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check

https://github.com/bfabry/specify-it Attempted translation of the QuickCheck properties in this paper: "How to specify it!" - John Hughes https://www.dropbox.com/s/tx2b84kae4bw1p4/paper.pdf?dl=0 Into Clojure test.check properties. I recreated the first 5 bugs in the paper (and the test.check

Re:

Something is wrong with Google groups. If I knew how to fix it, I would, but I’ve given up trying. > On Jul 18, 2019, at 6:20 AM, 'David Bürgin' via Clojure > wrote: > > I’m an email user. For some reason official announcements (by Alex > Miller) don’t get sent out via email, they only appear

[no subject]

I’m an email user. For some reason official announcements (by Alex Miller) don’t get sent out via email, they only appear in the Google Groups web interface. Replies (and all other messages) do land in my inbox, though. Something wrong with your email Alex, or is it Google Groups? -- You