Add this list to sindresorhus/awesome
anton-trunov opened this issue · comments
Anton Trunov commented
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).
#A commented
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?