rudymatela/speculate

Speculate laws about Haskell functions

语言：Haskell · GitHub 星标：32 · Fork：0

话题：enumerative-testing · haskell · leancheck · property-based-testing · property-discovery · property-testing · testing · theory-exploration

在 GitHub 上查看原仓库