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
Hi! Have you considered adding this list to the list of awesome lists for better discoverability. We just did this for https://github.com/coq-community/awesome-coq (see sindresorhus/awesome#1697) and our experience was pretty great (kudos to @palmskog for that PR).
The text was updated successfully, but these errors were encountered:
Thanks. Will try. Just saw this. Hence the delayed response.
Yikes. Looks like they have a bunch of stuff you have to do... any takers?
Sorry, something went wrong.
No branches or pull requests
Hi! Have you considered adding this list to the list of awesome lists for better discoverability. We just did this for https://github.com/coq-community/awesome-coq (see sindresorhus/awesome#1697) and our experience was pretty great (kudos to @palmskog for that PR).
The text was updated successfully, but these errors were encountered: