Skip to content

[docs] Fix typos, heading case, and outdated description in CONTRIBUT… - #3855

Open
tangclfs wants to merge 1 commit into
idris-lang:mainfrom
tangclfs:docs-fix
Open

tangclfs wants to merge 1 commit into
idris-lang:mainfrom
tangclfs:docs-fix

Conversation

@tangclfs

@tangclfs tangclfs commented Sep 3, 2026

Copy link
Copy Markdown

Description

Fix typos, heading case, and outdated description in CONTRIBUTING.md

Self-check

  • This is my first time contributing, I've carefully read CONTRIBUTING.md
    and I've updated CONTRIBUTORS with my name.
  • If this is a fix, user-facing change, a compiler change, or a new paper
    implementation, I have updated CHANGELOG_NEXT.md
  • I confirm that this contribution did not involve GenerativeAI nor Large Language Models.

@gallais
gallais enabled auto-merge September 3, 2026 09:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants