postcondition is now Postcondition m#79
Open
jasagredo wants to merge 2 commits intoinput-output-hk:mainfrom
Open
`postcondition` is now `Postcondition m`#79jasagredo wants to merge 2 commits intoinput-output-hk:mainfrom
jasagredo wants to merge 2 commits intoinput-output-hk:mainfrom
