Skip to content

Avoid QuickCheck for properties without free variables#237

Open
bjornbm wants to merge 3 commits intosol:mainfrom
bjornbm:simpleProps
Open

Avoid QuickCheck for properties without free variables#237
bjornbm wants to merge 3 commits intosol:mainfrom
bjornbm:simpleProps

Commits

Commits on Jul 14, 2019

Commits on Jul 15, 2019