Issues · well-typed/falsify · GitHub

Labels Milestones New issue

Missing instance `Function (a -> b)`

#83

· sjoerdvisscher opened

on Sep 20, 2025

run Property without Tasty

#80

· paolino opened

on Jul 18, 2025

Concurrent property running

#79

· rhendric opened

on May 2, 2025

Introduce a uniform `signedFraction` generator

#67

· edsko opened

on Nov 8, 2023

Feature Request: Pure interface for Gen

#65

· konn opened

on Aug 13, 2023

Support progress reporting in tasty

#63

· Bodigrim opened

on Jul 31, 2023

IO in Propertys

#57

· voidus opened

on Jun 4, 2023

Consider the use of `Ratio` instead of `Double` for fractions

#53

· edsko opened

on May 31, 2023

Test database a la Hypothesis?

#50

· mwotton opened

on May 17, 2023

Improve performance of `list` by using `bst`

#30

· edsko opened

on Mar 13, 2023

Memoization

#25

· edsko opened

on Mar 11, 2023