diff --git a/thesis.tex b/thesis.tex index 0f44bc9..c0e7cf4 100644 --- a/thesis.tex +++ b/thesis.tex @@ -21514,7 +21514,7 @@ $\BergerCount$ program alluded to in Section~\ref{sec:pure-counting}, in order to fill out our overall picture of the relationship between language expressivity and potential program efficiency. -\paragraph{Relation to prior work} This appendix imported from +\paragraph{Relation to prior work} This appendix is imported from Appendix D of \citet{HillerstromLL20a}. The code snippets in this appendix are based on an implementation of Berger count in SML/NJ written by John Longley. I have transcribed the code snippets, and in