qcheck icon indicating copy to clipboard operation
qcheck copied to clipboard
verified publisher icon c-cube

Document how to contribute QCheck/QCheck2

Open vch9 opened this issue 4 years ago • 0 comments

In any case, I wish the current status of core/QCheck.ml vs. core/QCheck2.ml was clearly stated somewhere, for example in the README, so that other occasional contributors know what to do.

Originally posted by @gasche in https://github.com/c-cube/qcheck/issues/183#issuecomment-925862753

vch9 avatar Sep 23 '21 14:09 vch9