`postcondition` is `Property`#77

jasagredo wants to merge 2 commits intoinput-output-hk:maininput-output-hk/quickcheck-dynamic:mainfrom

jasagredo:js/postcondition-is-propertyjasagredo/quickcheck-dynamic:js/postcondition-is-propertyCopy head branch name to clipboard