fix duplicate name
commit4abb58f13c2184ec5bebbf0ad7b799c0859bff99
authormartinbaker <git29f185@martinb.com>
dateSat 14 Dec 2019, 16:59 (7 years ago)
parent840d3e4
docs/elaboratorReflection/index.rst+5−11
@@ -1,8 +1,8 @@
1−.. _proofs-index:
1+.. _elaborator-index:
22
3−#########################################
4−Theorem Proving and Elaborator Reflection
5−#########################################
3+#####################
4+Elaborator Reflection
5+#####################
66
77A tutorial on theorem proving in Idris.
88
@@ -18,13 +18,7 @@ A tutorial on theorem proving in Idris.
1818.. toctree::
1919 :maxdepth: 1
2020
21− definitional
22− pluscomm
23− inductive
24− patterns
25− propositional
26− interactive
27− interactiveOld
21+ elaborator-reflection
2822 elabReflection
2923 tactics
3024 holes