remove redundant sentence
commit29f80c394ee51c68abd50f522907bfdfb3b3f994
authorMartin Baker <git87465@martinb.com>
dateWed 27 Feb 2019, 08:47 (8 years ago)
parentc9ace4e
docs/proofs/definitional.rst−2
@@ -6,8 +6,6 @@ In order to understand how to write proofs in Idris I think its worth clarifying
66- Definitional and propositional equalities
77- Axiomatic and constructive approaches
88
9−If you have experience in logic or using proof assistants like Coq then you may already know this stuff so you can skip this page.
10−
119Propositions and Judgments
1210==========================
1311