Update tutorial
commitc613fab729b749cb306c962d34329066b98e4b46
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateMon 16 Jan 2012, 22:00 (15 years ago)
parent6682ebb
tutorial/examples/binary.idr+1−1
@@ -34,7 +34,7 @@ intToNat x = if (x>0) then (S (intToNat (x-1))) else O
3434main : IO ()
3535main = do putStr "Enter a number: "
3636 x <- getLine
37− print $ natToBin (fromInteger (cast x))
37+ print (natToBin (fromInteger (cast x)))
3838
3939---------- Proofs ----------
4040
tutorial/idris-tutorial.pdf
Binary file not shown.
tutorial/provisional.tex+1−2
@@ -284,8 +284,7 @@ outputs it in binary.
284284main : IO ()
285285main = do putStr "Enter a number: "
286286 x <- getLine
287− let b = natToBin (fromInteger (cast x))
288− print b
287+ print (natToBin (fromInteger (cast x)))
289288
290289\end{SaveVerbatim}
291290\useverb{binmain}