Browse Source

Fix a minor typo

master
Daniel Hillerström 3 years ago
parent
commit
3a9394baf8
  1. 2
      thesis.tex

2
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 in order to fill out our overall picture of the relationship between
language expressivity and potential program efficiency. 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 D of \citet{HillerstromLL20a}. The code snippets in this
appendix are based on an implementation of Berger count in SML/NJ appendix are based on an implementation of Berger count in SML/NJ
written by John Longley. I have transcribed the code snippets, and in written by John Longley. I have transcribed the code snippets, and in

Loading…
Cancel
Save