New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

HugeLists.hs doesn't work properly #37

Open

nick8325 opened this issue Apr 20, 2018 · 2 comments

Owner

nick8325 commented Apr 20, 2018

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

Owner Author

nick8325 commented Apr 20, 2018

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

Collaborator

MaximilianAlgehed commented May 2, 2018

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment