X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=code%2Fcalculator%2Fcalc3.ml;h=523a6bbf4b75bb303d7e7130780f99ff59f6e760;hb=4d820711650b0ec6e0402d6d4dc46d7de23e6653;hp=65bf7542b4adec23fe495dfb3c64acdb23a2a796;hpb=00ea8839bac58c3c1d53460dd34efc4722c8a6f2;p=lambda.git diff --git a/code/calculator/calc3.ml b/code/calculator/calc3.ml index 65bf7542..523a6bbf 100644 --- a/code/calculator/calc3.ml +++ b/code/calculator/calc3.ml @@ -1,4 +1,4 @@ -(* calc2.ml, enhanced with Recursive Function Values *) +(* calc3.ml: calc2.ml enhanced with Recursive Function Values *) type term = Intconstant of int