chore: Bump agda grammar (#1143)

github-actions[bot] · jcs090218 · web-flow · commit 986d047042ac · 2025-08-31T05:34:42.000-07:00
Co-authored-by: jcs090218 &lt;8685505+jcs090218@users.noreply.github.com&gt;
diff --git a/repos/agda b/repos/agda
@@ -1 +1 @@
-Subproject commit b9b32fa042c2952a7bfca86847ea325e44ccc897
+Subproject commit e8d47a6987effe34d5595baf321d82d3519a8527
