File tree 2 files changed +8
-7
lines changed 2 files changed +8
-7
lines changed Original file line number Diff line number Diff line change @@ -55,10 +55,13 @@ \section{Introduction}
55
55
user can limit the string length or the number of generated strings
56
56
without risking partiality.
57
57
58
- Source code for implementations in Haskell and in OCaml is available
59
- on GitHub. Examples can be run in a Web App.\footnote {%
60
- The Web App is available at
61
- \url {https://regex-generate.github.io/regenerate/}.}. Although
58
+ Source code for implementations in Haskell\footnote {
59
+ \url {https://github.com/peterthiemann/re-generate}
60
+ }
61
+ and in OCaml\footnote {%
62
+ \url {https://github.com/regex-generate/regenerate}} is available
63
+ on GitHub. Examples can be run in a Web App\footnote {%
64
+ \url {https://regex-generate.github.io/regenerate/}}. Although
62
65
not tuned for efficiency they generate languages at a rate
63
66
between $ 1.3 \cdot 10 ^3 $ and $ 1.4 \cdot 10 ^6 $ strings per second, for
64
67
Haskell, and up to $ 3.6 \cdot 10 ^6 $ strings per second, for OCaml. The
Original file line number Diff line number Diff line change 1
1
\newif\ifsubmit
2
2
\submitfalse
3
3
% % 12 pp + bib
4
- \documentclass [sigplan,authorversion ]{acmart }%
5
- \settopmatter {printfolios=true,printccs=false,printacmref=false}
4
+ \documentclass [sigplan,screen,authorversion ]{acmart }%
6
5
7
6
% Encoding and lang
8
7
\usepackage [T1 ]{fontenc }
157
156
% \begin{acks}
158
157
% \end{acks}
159
158
160
- \clearpage
161
159
\bibliography {biblio}
162
160
163
161
% \appendix
You can’t perform that action at this time.
0 commit comments