re: Introduction to property based testing VIEW POST

VIEW PARENT COMMENT VIEW FULL DISCUSSION
 

concat(x, empty) is equal to x + ' ' + empty by definition of concat. If x = '' then x + ' ' + empty is equal to '' + ' ' + '' which is equal to ' ' so concat(x, empty) !== x

 

Ah, yeah, I missed the extra space in the Semigroup instance

code of conduct - report abuse