Please read the guidelines more closely. Multiple points not followed from it. Try going through the list point for point and check that you follow it. :)

[Insert URL to the list here]

https://github.com/joaomilho/awesome-idris

[Explain what this list is about and why it should be included here]

It's about Idris, a purely functional language with first class types.

By submitting this pull request I confirm I've read and complied with the below requirements.

Please read it multiple times. I spent a lot of time on these guidelines and most people miss a lot. ✔️ check

• I have read and understood the contribution guidelines and the instructions for creating a list. ✔️ check
• This pull request has a descriptive title.
  For example, Add Name of List, not Update readme.md or Add awesome list. ✔️ check
• The entry in the Awesome list should:
  • Include a short description about the project/theme of the list. It should not describe the list itself.
    Example: - [Fish](…) - User-friendly shell., not - [Fish](…) - Resources for Fish.. ✔️ check
  • Be added at the bottom of the appropriate category. ✔️ check
• The list I'm submitting complies with these requirements:
  • Has been around for at least 30 days.
    That means 30 days from either the first real commit or when it was open-sourced. Whatever is most recent. ✔️ check
  • It's the result of hard work and the best I could possibly produce. ✔️ check
  • Non-generated Markdown file in a GitHub repo. ✔️ check
  • Includes a succinct description of the project/theme at the top of the readme. (Example) ✔️ check
  • The repo should have awesome-list & awesome as GitHub topics. I encourage you to add more relevant topics. ✔️ check
  • Not a duplicate. ✔️ check
  • Only has awesome items. Awesome lists are curations of the best, not everything. ✔️ check
  • Includes a project logo/illustration whenever possible. ✔️ check
    • Either fullwidth or placed at the top-right of the readme. (Example) ✔️ check
    • The image should link to the project website or any relevant website. ✔️ check
    • The image should be high-DPI. Set it to maximum half the width of the original image. ✔️ check
  • Entries have a description, unless the title is descriptive enough by itself. It rarely is though. ✔️ check
  • Includes the Awesome badge. ✔️ check
    • Should be placed on the right side of the readme heading. ✔️ check
    • Should link back to this list. ✔️ check
  • Has a Table of Contents section.
    • Should be named Contents, not Table of Contents. ✔️ check
    • Should be the first section in the list. ✔️ check
    • Should only have one level of sub-lists, preferably none. ✔️ check
  • Has an appropriate license. ✔️ check
    • That means something like CC0, not a code licence like MIT, BSD, Apache, etc. ✔️ check
    • If you use a license badge, it should be SVG, not PNG. ✔️ check
  • Has contribution guidelines. ✔️ check
    • The file should be named contributing.md. Casing is up to you. ✔️ check
  • Has consistent formatting and proper spelling/grammar. ✔️ check
    • The link and description are separated by a dash.
      Example: - [AVA](…) - JavaScript test runner. ✔️ check
    • The description starts with an uppercase character and ends with a period. ✔️ check
    • Drop all the A / An prefixes in the descriptions. ✔️ check
    • Consistent and correct naming. For example, Node.js, not NodeJS or node.js. ✔️ check
  • Doesn't include a Travis badge.
    You can still use Travis for list linting, but the badge has no value in the readme. ✔️ check
• Go to the top and read it again. ✔️ check

Why are you adding checkmarks to things that are clearly not done?

The entry in the Awesome list should:
Include a short description about the project/theme of the list. It should not describe the list itself.

Not done.

Includes a succinct description of the project/theme at the top of the readme. (Example)

Not done.

The description starts with an uppercase character and ends with a period. ✔️ check

Not done.

Drop all the A / An prefixes in the descriptions.

Not done.

If you use a license badge, it should be SVG, not PNG.

Not done.

I'd like to see some links to community resources: Stack Overflow tag, IRC, chat, forums, communities, Reddit, etc. Example: https://github.com/sindresorhus/awesome-electron#community

All done.

The entry in the Awesome list should:
Include a short description about the project/theme of the list. It should not describe the list itself.
Not done.

Still not done.

The description (for each entry in your list) starts with an uppercase character and ends with a period. ✔️ check
Not done.

Still not done.

Github organization => GitHub organization
Github's trending Idris repos => GitHub's trending Idris repos

Oh, I understood I had to add a description in my list. So...

• Added description in the list;
• Renamed Github to GitHub;
• Made sure all descs start with upcase and end with dot.
• Made sure all instances of Idris are capitalized.

Anything missing?

Looks good now. Thanks for your patience.

I will tweet the list later this week from this account: https://twitter.com/awesome__re

You're welcome, and thanks for all the effort!