search

well-typed / falsify

Other
38 stars 6 forks source link

Remove references from the readme #8

Closed edsko closed 1 year ago

edsko commented 1 year ago

(They will be part of the paper instead)