add to proof documentation
commit80636c0f242240a8d35cd1c3e3db627fa9f5377d
authorMartin Baker <git87465@martinb.com>
dateSat 23 Feb 2019, 08:32 (8 years ago)
parent1a8c1a6
CHANGELOG.md+1
@@ -1,4 +1,5 @@
11# New in next version
2++ Documentation added to proof section
23
34## Tool updates
45+ Modules no longer require building if imports have changed but all
CONTRIBUTORS+1
@@ -143,6 +143,7 @@ Luke Palmer
143143Mark Farrell
144144Markus Klink
145145Markus Pfeiffer
146+Martin Baker
146147Mathnerd314
147148Mattias Lundell
148149Matvey B. Aksenov
docs/proofs/index.rst+1
@@ -18,6 +18,7 @@ A tutorial on theorem proving in Idris.
1818.. toctree::
1919 :maxdepth: 1
2020
21+ definitional
2122 pluscomm
2223 inductive
2324 patterns