Tutorial: interfaces.rst done.

Polish some sentense.
Idris-zh · Mar 10, 2018 · eb13701 · eb13701
1 parent 8c4225e
commit eb13701
Show file tree

Hide file tree

Showing 5 changed files with 515 additions and 268 deletions.
diff --git a/docs/tutorial/index.rst b/docs/tutorial/index.rst
@@ -1,10 +1,12 @@
 .. _tutorial-index:
 
-##################
-.. The Idris Tutorial
-
+##########
 Idris 教程
-##################
+##########
+
+.. ##################
+.. The Idris Tutorial
+.. ##################
 
 .. This is the Idris Tutorial.
 .. It provides a brief introduction to programming in the Idris Language.