git.iko.soy/Idris-dev
on master help sign in
add to proof documentation
80636c0Martin Baker
CHANGELOG.md+1
compare with master
unifiedsplit
@@ -1,4 +1,5 @@
1# New in next version
1# New in next version
2++ Documentation added to proof section
2
3
3## Tool updates
4## Tool updates
4+ Modules no longer require building if imports have changed but all
5+ Modules no longer require building if imports have changed but all
CONTRIBUTORS+1
@@ -143,6 +143,7 @@ Luke Palmer
143Mark Farrell
143Mark Farrell
144Markus Klink
144Markus Klink
145Markus Pfeiffer
145Markus Pfeiffer
146+Martin Baker
146Mathnerd314
147Mathnerd314
147Mattias Lundell
148Mattias Lundell
148Matvey B. Aksenov
149Matvey B. Aksenov
docs/proofs/index.rst+1
@@ -18,6 +18,7 @@ A tutorial on theorem proving in Idris.
18.. toctree::
18.. toctree::
19 :maxdepth: 1
19 :maxdepth: 1
20
20
21+ definitional
21 pluscomm
22 pluscomm
22 inductive
23 inductive
23 patterns
24 patterns