fix markup error
commita4da735395f5cf9bc2db6d3070cd5f9e4eefb1ae
authormartinbaker <git29f185@martinb.com>
dateTue 2 Jul 2019, 15:29 (7 years ago)
parentdefab73
docs/proofs/tactics.rst+2−2
@@ -426,5 +426,5 @@ However this would cause the application of f to be ill-typed, as it expects an
426426
427427 letbind : (n : TTName) -> (ty, tm : Raw) -> Elab ()
428428
429−... target-notes::
430−. _`Dependently Typed Functional Programs and their Proofs by McBride 1999`: https://www.era.lib.ed.ac.uk/handle/1842/374
429+.. target-notes::
430+.. _`Dependently Typed Functional Programs and their Proofs by McBride 1999`: https://www.era.lib.ed.ac.uk/handle/1842/374