Y combinator: Difference between revisions
Content deleted Content added
m →{{header|OCaml}}: minor mistakes |
m →{{header|OCaml}}: duplicate |
||
Line 507: | Line 507: | ||
| n -> f (n-1) + f (n-2) |
| n -> f (n-1) + f (n-2) |
||
;; |
;; |
||
type 'a mu = Roll of ('a mu -> 'a);; |
|||
(* val unroll : 'a mu -> 'a mu -> 'a = <fun> |
(* val unroll : 'a mu -> 'a mu -> 'a = <fun> |