Skip to content
OCaml
Find file
Pull request Compare This branch is even with camlunity:hof.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
src
tests
.gitignore
AUTHORS.txt
INSTALL.txt
LICENSE
Makefile
README.mkd
README.txt
_oasis
_tags
configure
myocamlbuild.ml
setup.ml

README.mkd

Ocaml-QuickCheck -- A Mechanical Translation of QuickCheck to OCaml

This is translation of QuickCheck from Haskell into Ocaml.

Mostly it is an experiment to see what Haskell code that makes heavy use of type-classes looks like when converted to OCamls modules. Unfortunately, its not all that pretty, but if you want a working clone of QuickCheck for Ocaml here it is. For an example on how to write properties see test_List.ml

If you are interested you can go to my blog to hear more about how I converted the code and the differences that were introduced

Something went wrong with that request. Please try again.