quickspec topic
List
quickspec repositories
easyspec
36
Stars
2
Forks
Watchers
Signature inference for Functional Property Discovery in Haskell
