chore: switch agda upstream

This commit is contained in:
ShootingStarDragons 2023-09-18 13:12:07 +08:00 committed by Christian Clason
parent eb0f975bf2
commit 6a865af171
3 changed files with 3 additions and 4 deletions

View file

@ -62,7 +62,6 @@
"infixl"
"infixr"
"record"
(ARROW)
]
@keyword