projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
e519121
)
added proto-monad
author
Chris Barker
<barker@kappa.linguistics.fas.nyu.edu>
Mon, 25 Oct 2010 18:13:17 +0000
(14:13 -0400)
committer
Chris Barker
<barker@kappa.linguistics.fas.nyu.edu>
Mon, 25 Oct 2010 18:13:17 +0000
(14:13 -0400)
week6.mdwn
patch
|
blob
|
history
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);;
(*
_ -> 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;;
# div 12 3;;
- : int option = Some 4
# div 12 0;;