pi8027/typeinfer — Issue #58: book / lambda.tex 囲い忘れ
Author: siritori
Created: 2011-12-11 21:57:01+00:00
State: open

"変数$x$の出現は\textbf{束縛されている(bound)}といい、
そうでない変数$x$の出現は\textbf{自由(free)}であるといいます。"

ここたぶんこうですよね

"変数$x$の出現は\textbf{束縛されている(bound)}といい、
そうでない変数$x$の出現は\textbf{自由である(free)}といいます。"