git.iko.soy/Idris-dev
on master help sign in
rename file
654c431Martin Baker
docs/proofs/index.rst+1−2
compare with master
unifiedsplit
@@ -28,6 +28,5 @@ A tutorial on theorem proving in Idris.
28 elabReflection
28 elabReflection
29 tactics
29 tactics
30 example1
30 example1
31− primative
31+ primitive
32 generatingData
32 generatingData
33−
docs/proofs/primative.rst → docs/proofs/primitive.rstrenamed

The content is the same.