`postcondition` is now `Postcondition m`#79

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

jasagredo:js/post3jasagredo/quickcheck-dynamic:js/post3Copy head branch name to clipboard