Tutorial: fix some links.

Idris-zh · Mar 11, 2018 · e25e904 · e25e904
1 parent 55f3397
commit e25e904
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/docs/tutorial/interfaces.rst b/docs/tutorial/interfaces.rst
@@ -649,7 +649,7 @@ Idris 会分两趟进行解析：第一趟为类型，第二趟为定义。当
 .. to the following:
 
 惯用记法在定义求值器时通常很有用。McBride 和 Paterson
-就为下面这样的语言描述了一种求值器[1]_ ：
+就为下面这样的语言描述了一种求值器 [1]_ ：
 
 .. .. code-block:: idris
 

diff --git a/docs/tutorial/typesfuns.rst b/docs/tutorial/typesfuns.rst
@@ -1790,8 +1790,8 @@ Idris 提供了 **推导** 记法作为构建列表的简便写法。一般形
 .. hint:: 推导式
 
     推导式（Comprehension）来源于集合的构建方法，即 ``{x|x∈X⋀Φ(x)}``，其中的 ``Φ(x)``
-    即为限定式（Qualifier）。
-    参见`维基百科<https://en.wikipedia.org/wiki/Set-builder_notation#Parallels_in_programming_languages>`_
+    即为限定式（Qualifier）。详情参见
+    `维基百科 <https://en.wikipedia.org/wiki/Set-builder_notation#Parallels_in_programming_languages>`_ 。
 
 
 ``case`` 表达式