chore: Bump agda grammar (#395)

github-actions[bot] · web-flow · commit e677845a079d · 2024-02-16T11:52:50.000-08:00
diff --git a/repos/agda b/repos/agda
@@ -1 +1 @@
-Subproject commit c21c3a0f996363ed17b8ac99d827fe5a4821f217
+Subproject commit d3dc807692e6bca671d4491b3bf5c67eeca8c016
