git.iko.soy/Idris-dev
on master help sign in
change title of theorem proving section
278de06Martin Baker
docs/proofs/index.rst+4−4
compare with master
unifiedsplit
@@ -1,10 +1,10 @@
1.. _proofs-index:
1.. _proofs-index:
2
2
3−###############
3+#########################################
4−Theorem Proving
4+Theorem Proving and Elaborator Reflection
5−###############
5+#########################################
6
6
7−A tutorial on theorem proving in Idris.
7+A tutorial on theorem proving in Idris.
8
8
9.. note::
9.. note::
10
10