search

well-typed / falsify

Other
38 stars 6 forks source link

Continue "How to specify it" #38

Closed edsko closed 1 year ago

edsko commented 1 year ago

This also introduces labelling (label and collect), and simplifies Range.