search

well-typed / falsify

Other
38 stars 6 forks source link

Continue "How to specify it" #36

Closed edsko closed 1 year ago