@@ -6,8 +6,6 @@ In order to understand how to write proofs in Idris I think its worth clarifying
6- Definitional and propositional equalities
6- Definitional and propositional equalities
7- Axiomatic and constructive approaches
7- Axiomatic and constructive approaches
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.
11Propositions and Judgments
9Propositions and Judgments
12==========================
10==========================