quickspec icon indicating copy to clipboard operation
quickspec copied to clipboard

Published 20 hours ago • verified publisher icon nick8325

HugeLists.hs generates bogus law

Open MaximilianAlgehed opened this issue 6 years ago • 0 comments

HugeLists found the following law: length xs = length ys

MaximilianAlgehed avatar Apr 23 '18 08:04 MaximilianAlgehed