From 32fe8e5ee63c89934bf6a6762110e46e9ad24ad8 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sun, 18 Aug 2024 10:30:21 -1000
Subject: [PATCH] Update the referenced Agda submodule

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
---
 code/agda-spa | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/code/agda-spa b/code/agda-spa
index f0da9a9..828b652 160000
--- a/code/agda-spa
+++ b/code/agda-spa
@@ -1 +1 @@
-Subproject commit f0da9a902005b24db4e03a89c2862493735467c4
+Subproject commit 828b652d3b9266e27ef7cf5a8a7fb82e3fd3133f