Merge pull request #4798 from martinbaker/fixSphinxWarning
fix Sphinx warning
commit3b443e262f76b87b5b7a8460458ac4bc15db1633
authorNiklas Larsson <metaniklas@gmail.com>
dateSat 21 Dec 2019, 13:42 (7 years ago)
parent9bffc1916e325b
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