fix typo
commitb0edb5bdbc218592b446ff466a23e4380bf13bdf
authormartinbaker <git29f185@martinb.com>
dateSat 6 Jul 2019, 08:26 (7 years ago)
parentadbfa55
docs/proofs/interactive.rst+1−1
@@ -270,7 +270,7 @@ because this gives the following error:
270270 unexpected "in"
271271 expecting dependent type signature
272272
273−However if we put the proof into a seperate function like this:
273+However if we put the proof into a separate function like this:
274274
275275.. code-block:: idris
276276