search

mlabs-haskell / apropos

Propositional Logic Apropos Types
Apache License 2.0
14 stars 5 forks source link

look into using validity #31

Closed Geometer1729 closed 1 year ago

Geometer1729 commented 2 years ago

We should look into using https://github.com/NorfairKing/validity for a default baseGen implementation. Validity has better pathological examples in its generators than quick-check and typical handwritten hedgehog gens will.

AriFordsham commented 1 year ago

https://github.com/mlabs-haskell/apropos/issues/29#issuecomment-1315529527

Geometer1729 commented 1 year ago

Closed as stale