Skip to content
Browse files

Merge pull request #28 from MekeorMelire/master

Mistake in tutorial
  • Loading branch information...
2 parents 2ec60c8 + 0215302 commit 72a8ac49ad117fe95494c890111084de7914c5d4 @edwinb committed May 31, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 tutorial/typesfuns.tex
View
2 tutorial/typesfuns.tex
@@ -869,7 +869,7 @@ \subsection{\texttt{so}}
\begin{SaveVerbatim}{sotype}
-data so : Bool where
+data so : Bool -> Set where
oh : so True
\end{SaveVerbatim}

0 comments on commit 72a8ac4

Please sign in to comment.
Something went wrong with that request. Please try again.