Update download url for interpreter.

article/lambda.tex

@@ -17,7 +17,7 @@
 \setmathfont{Asana Math}
 \graphicspath{{pic/}}
 
-\newcommand{\downloadurl}{\url{http://www.twitter.com}}
+\newcommand{\downloadurl}{\url{https://github.com/txyyss/Lambda-Calculus/releases}}
 
 \newenvironment{verbcode}{\VerbatimEnvironment%
   \noindent
@@ -959,7 +959,7 @@ \section{解释器简要使用说明}\label{sec:interpreter}
 ``运行''这篇文章里介绍的各种 $\lambda$ 项，看到归约后的结果。用户还可
 以对解释器做一些设置，决定输出形式，是否逐步给出规约过程等等。
 
-解释器可以从这个地方下载：\downloadurl。这个解释器中用字符 \verb|\|
+解释器可以从这里下载：\downloadurl。这个解释器中用字符 \verb|\|
 代表 $\lambda$，其余语法和 \ref{subsec:formal} 中定义的一样。下面介绍
 一下用户可以设定的参数。