agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

Home Page:https://wiki.portal.chalmers.se/agda/pmwiki.php

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Merge `.authorspellings` and `.mailmap`

lawcho opened this issue · comments

These files contain similar data.

Could they be merged?

Motivation:

  • Reduce the number of files in the repo root
  • Avoid duplication

.mailmap is used by git, and I update it before releases.
.authorspellings is darcs legacy, I think we can just delete it.