add link to solution proposed by Seiryn

martinescardo · Sep 6, 2023 · 77bb868 · 77bb868
1 parent cd9acd9
commit 77bb868
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/source/UF/HiddenSwap.lagda b/source/UF/HiddenSwap.lagda
@@ -115,3 +115,9 @@ hidden-swap-corollary {𝓤} {X} s = I (hidden-swap s)
   I (f , ν , i) = qinveq f (f , i , i) , ν
 
 \end{code}
+
+The above is a solution to exercises proposed on
+https://mathstodon.xyz/@MartinEscardo/110991799307299727
+
+An independent solution by github user Seiryn21 is at
+https://gist.github.com/Seiryn21/4173b1ee0b88be7b5a6054ac3222c8e1