X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment5.mdwn;h=73ebb5196ee280934652add9f9a29cb692204640;hp=a79df5f70222902010fe6dd1b65482b44a434a8a;hb=a5612ad05978d5d95334ae77141bf89a172c15a4;hpb=97c9b87441ad9522778a2da6be93d9c73c8149a8 diff --git a/assignment5.mdwn b/assignment5.mdwn index a79df5f7..73ebb519 100644 --- a/assignment5.mdwn +++ b/assignment5.mdwn @@ -13,9 +13,7 @@ Types and OCaml - : int = 1 -1. Which of the following expressions is well-typed in OCaml? - For those that are, give the type of the expression as a whole. - For those that are not, why not? +1. Which of the following expressions is well-typed in OCaml? For those that are, give the type of the expression as a whole. For those that are not, why not? let rec f x = f x;;