git.iko.soy/Idris-dev
on master help sign in
Tutorial typo
906fe5cEdwin Brady
tutorial/classes.tex+1−1
compare with master
unifiedsplit
@@ -526,5 +526,5 @@ instance \texttt{myord} as follows, at the \Idris{} prompt:
526"[ssssO, sssO, sO]" : String
526"[ssssO, sssO, sO]" : String
527
527
528\end{SaveVerbatim}
528\end{SaveVerbatim}
529−\useverb{myordlist}
529+\useverb{myordlistrun}
530
530