Add Arend language

[ice1000]

Description

Checklist:

• I am adding a new language.
  • The extension of the new language is used in hundreds of repositories on GitHub.com.
    • Search results for each extension:
      • Search with func: https://github.com/search?q=extension%3Aard+func+NOT+nothack&type=Code
      • Search with import: https://github.com/search?q=extension%3Aard+import+NOT+nothack&type=Code
  • I have included a real-world usage sample for all extensions added in this PR:
    • Sample source(s):
      • https://github.com/ice1k/linguist/blob/arend/samples/Arend/SeqColimit.ard
    • Sample license(s):
  • I have included a syntax highlighting grammar: https://github-lightshow.herokuapp.com/
  • I have updated the heuristics to distinguish my language from others using the same extension.

[ice1000]

Also, running script/bootstrap also requires libssl-dev on ubuntu, which is not installed by default. It took me about half an hour to figure this out, since the error I saw is "cannot find target to make", instead of "cannot find OpenSSL".

[ice1000]

The license is the MIT license

[ice1000]

Yay! I made the CI passes!

[pchaigno]

Thanks for the submission!

I'm afraid usage is too low considering our requirements. I counted 20 repositories by 12 users using the extension:ard import OR func search query. Are you expecting usage to grow significantly in the next few months?

[ice1000]

I hope so, let's see.

[ice1000]

There are 300+ (328) files in the search result now :)

[stale]

This pull request has been automatically marked as stale because it has not had recent activity, and will be closed if no further activity occurs. If this pull request was overlooked, forgotten, or should remain open for any other reason, please reply here to call attention to it and remove the stale status. Thank you for your contributions.

[ice1000]

There's now 340 😟 not much.

[ice1000]

Now 360

[pchaigno]

Those 360 files make up 27 repositories by 19 users. So it looks like this is growing, albeit very slowly. I'm going to close this issue, but don't hesitate to ping me to reopen if you think we've reached the required threshold of hundreds of repositories.

[ice1000]

Now 406

Edit: now we need to search with https://github.com/search?q=path%3A*.ard+AND+%28import+OR+func%29&type=code

[pchaigno]

@ice1000 It's good that you're keeping an eye on the number of files, but I don't think it's very useful to post it here unless the number of repositories significantly went up (e.g., +100) or the number of files itself went up (e.g., +1000).

[ice1000]

Ok

[ice1000]

How do I count the repositories? Is there an API?

[pchaigno]

You can use Harvester.

[ice1000]

@ice1000 It's good that you're keeping an eye on the number of files, but I don't think it's very useful to post it here unless the number of repositories significantly went up (e.g., +100) or the number of files itself went up (e.g., +1000).

May I assume that 1000 files suffice for a new PR (since I failed to make harvester work so I cannot count repos)? It's 760+ files now, and I'm thinking about creating a new PR once it's 1000+.

[lildude]

May I assume that 1000 files suffice for a new PR (since I failed to make harvester work so I cannot count repos)? It's 760+ files now, and I'm thinking about creating a new PR once it's 1000+.

No. That is a bad assumption to make. One :user/:repo with 1000 files indicates it is only used by one user. 1000 unique :user/:repo with a single file in each indicates it is widely used. It's the latter that we need.

[Alhadis]

since I failed to make harvester work so I cannot count repos

I'm working on fixing that. Sorry about the inconvenience.

[ice1000]

@ice1000 It's good that you're keeping an eye on the number of files, but I don't think it's very useful to post it here unless the number of repositories significantly went up (e.g., +100) or the number of files itself went up (e.g., +1000).

Hi! It looks like there's 1.8k Arend files now!

Search results: https://github.com/search?q=path%3A*.ard+AND+%28import+OR+func%29&type=code