andrejbauer / notes-on-realizability

In

Lines 303 to 306 in 66918c0

    
           \begin{theorem}[Recursion theorem] 
        
             For every \emph{total} computable $f : \NN \to \NN$ there exists $x 
        
             \in \NN$ such that $\xpr_{f(n)} = \xpr_{n}$. 
        
           \end{theorem}

I believe the n should be x?

	\begin{theorem}[Recursion theorem]
	For every \emph{total} computable $f : \NN \to \NN$ there exists $x
	\in \NN$ such that $\xpr_{f(n)} = \xpr_{n}$.
	\end{theorem}

Wrong variable seems to be used in Theorem 2.1.4