A mechanical translation of the Haskell QuickCheck library into Ocaml
语言:OCaml · GitHub 星标:11 · Fork:9
在 GitHub 上查看原仓库