projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
added proto-monad
[lambda.git]
/
week6.mdwn
diff --git
a/week6.mdwn
b/week6.mdwn
index
6988147
..
5898788
100644
(file)
--- a/
week6.mdwn
+++ b/
week6.mdwn
@@
-200,7
+200,7
@@
let div (x:int) (y:int) =
_ -> Some (x / y);;
(*
-val div : int -> int -> int option =
<fun
>
+val div : int -> int -> int option =
\<fun\
>
# div 12 3;;
- : int option = Some 4
# div 12 0;;