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
Related: #8 (in a way, that was one instance of this issue)
This is already mostly fixed in 7ea22c0, but I had to revert that commit because it broke compatibility with coq<8.12
The text was updated successfully, but these errors were encountered:
#10 closed this by mistake
Sorry, something went wrong.
KevOrr
Successfully merging a pull request may close this issue.
Related: #8 (in a way, that was one instance of this issue)
This is already mostly fixed in 7ea22c0, but I had to revert that commit because it broke compatibility with coq<8.12
The text was updated successfully, but these errors were encountered: