update URL

breandan · Jun 16, 2024 · 515a2c5 · 515a2c5
1 parent adcb90a
commit 515a2c5
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/latex/lafi2024/acmart.pdf b/latex/lafi2024/acmart.pdf
diff --git a/latex/lafi2024/acmart.tex b/latex/lafi2024/acmart.tex
@@ -273,7 +273,7 @@ \subsection{Sampling trees with replacement}\label{sec:replacement}
 
   \section{Conclusion}
 
-  We have presented a novel sound and complete algorithm for sampling trees in bounded context-free languages with and without replacement. This technique has applications to code completion and program repair. In future work, we intend to provide a proof of correctness and extend our technique to handle sampling from Boolean and conjunctive languages~\cite{okhotin2001conjunctive}. A reference implementation for $\mathbb{T}_2$ is provided in Kotlin and may be found at the \href{https://github.com/breandan/galoisenne/blob/3a2e811e8652ba29891aa21789ef0836ed19d257/src/commonMain/kotlin/ai/hypergraph/kaliningraph/parsing/SeqValiant.kt}{URL} linked below\footnote{\url{https://github.com/breandan/galoisenne/blob/3a2e811e8652ba29891aa21789ef0836ed19d257/src/commonMain/kotlin/ai/hypergraph/kaliningraph/parsing/SeqValiant.kt}}.
+  We have presented a novel sound and complete algorithm for sampling trees in bounded context-free languages with and without replacement. This technique has applications to code completion and program repair. In future work, we intend to provide a proof of correctness and extend our technique to handle sampling from Boolean and conjunctive languages~\cite{okhotin2001conjunctive}. A reference implementation for $\mathbb{T}_2$ is provided in Kotlin and may be found at the \href{https://github.com/breandan/galoisenne/blob/adcb90ac775f17582c5f9fbc4da041b0cf4bf3dc/src/commonMain/kotlin/ai/hypergraph/kaliningraph/parsing/SeqValiant.kt}{URL} linked below\footnote{\url{https://github.com/breandan/galoisenne/blob/3a2e811e8652ba29891aa21789ef0836ed19d257/src/commonMain/kotlin/ai/hypergraph/kaliningraph/parsing/SeqValiant.kt}}.
 
   \section{Acknowledgements}