fix Sphinx warning
commit16e325b06d841021fa8e2c7148c83f1bdcc404e0
authormartinbaker <git29f185@martinb.com>
dateFri 20 Dec 2019, 18:23 (7 years ago)
parent4d8d85d
docs/proofs/propositional.rst+1−1
@@ -34,7 +34,7 @@ Replace
3434
3535This implements the *indiscernability of identicals* principle, if two terms are equal then they have the same properties. In other words, if ``x=y``, then we can substitute ``y`` for ``x`` in any expression. In our proofs we can express this as:
3636
37−.. code-block::
37+.. code-block:: idris
3838
3939 if x=y
4040 then P x = P y