agda 2.8.0

[pthariensflame]

• Have you followed the guidelines for contributing?
• Have you ensured that your commits follow the commit style guide?
• Have you checked that there aren't other open pull requests for the same formula update/change?
• Have you built your formula locally with HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
• Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
• Does your build pass brew audit --strict <formula> (after doing HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>)? If this is a new formula, does it pass brew audit --new <formula>?

---

WIP, until these resources are updated:

• categories
• agda2hs

[chenrui333]

  ==> Applying 628f0a255b36ca96d36e9a83db6e9bdd4f73aa25.patch
  Error: Failure while executing; `patch -g 0 -f -p1` exited with 1. Here's the output:
  patching file CHANGELOG.md
  Hunk #1 FAILED at 9.
  1 out of 1 hunk FAILED -- saving rejects to file CHANGELOG.md.rej
  patching file doc/README/Data/Fin/Relation/Unary/Top.agda