well-typed / falsify

Other
36 stars 5 forks source link

Improve performance of `list` by using `bst` #30

Open edsko opened 1 year ago

edsko commented 1 year ago

We introduced bst in #29, but can probably also use it in list generation: this would enable us to drop entire parts of the list in one go.