@@ -153,5 +153,4 @@ generated by the pattern match will be in scope and named ``p``. For example:
154.. [1] Conor McBride and James McKinna. 2004. The view from the
154.. [1] Conor McBride and James McKinna. 2004. The view from the
155 left. J. Funct. Program. 14, 1 (January 2004),
155 left. J. Funct. Program. 14, 1 (January 2004),
156− 69-111. DOI=10.1017/S0956796803004829
156+ 69-111. https://doi.org/10.1017/S0956796803004829
157− http://dx.doi.org/10.1017/S0956796803004829ñ