quickspec icon indicating copy to clipboard operation
quickspec copied to clipboard
verified publisher icon nick8325

HugeLists.hs doesn't work properly

Open nick8325 opened this issue 8 years ago • 2 comments

Doesn't print signature/doesn't seem to generate any laws?!

nick8325 avatar Apr 20 '18 09:04 nick8325

In fact, it does, eventually. However, first it spends ages exploring the (empty) background signature!

nick8325 avatar Apr 20 '18 09:04 nick8325

When exploring the empty background signature it says its testing terms. However, there doesn't seem to be any terms being tested.

MaximilianAlgehed avatar May 02 '18 08:05 MaximilianAlgehed