rename file
commit654c43178bd82e63d313a834e77f05b17d5b261d
authorMartin Baker <git87465@martinb.com>
dateSat 18 May 2019, 09:17 (7 years ago)
parentedd8da7
docs/proofs/index.rst+1−2
@@ -28,6 +28,5 @@ A tutorial on theorem proving in Idris.
2828 elabReflection
2929 tactics
3030 example1
31− primative
31+ primitive
3232 generatingData
33−
docs/proofs/primative.rst → docs/proofs/primitive.rstrenamed
The content is the same.