We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
the binder in all pool node (equiv.ml module) should be replaced by closure.
This will allow to know that
a = b => (fun x y -> y x) a = (fun x y -> y x) b
without using an oracle
The text was updated successfully, but these errors were encountered:
Done.
Sorry, something went wrong.
craff
No branches or pull requests
the binder in all pool node (equiv.ml module) should be replaced
by closure.
This will allow to know that
a = b => (fun x y -> y x) a = (fun x y -> y x) b
without using an oracle
The text was updated successfully, but these errors were encountered: