projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
177c813
)
added proto-monad
author
Chris Barker
<barker@kappa.linguistics.fas.nyu.edu>
Mon, 25 Oct 2010 18:13:58 +0000
(14:13 -0400)
committer
Chris Barker
<barker@kappa.linguistics.fas.nyu.edu>
Mon, 25 Oct 2010 18:13:58 +0000
(14:13 -0400)
week6.mdwn
patch
|
blob
|
history
diff --git
a/week6.mdwn
b/week6.mdwn
index
5898788
..
ac94b79
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;;