X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=code%2Fcalculator%2Fcalc2.ml;h=521b81ddcfb2eb757af61febbc30dee549091604;hb=06846722f1be7c898c2c2b1c33ac2b35955553b7;hp=ef4a37c6ca981c0c83fd6a54025776a2ebd24d0f;hpb=00ea8839bac58c3c1d53460dd34efc4722c8a6f2;p=lambda.git diff --git a/code/calculator/calc2.ml b/code/calculator/calc2.ml index ef4a37c6..521b81dd 100644 --- a/code/calculator/calc2.ml +++ b/code/calculator/calc2.ml @@ -1,4 +1,4 @@ -(* calc1.ml, enhanced with Function Values *) +(* calc2.ml: calc1.ml enhanced with Function Values *) type term = Intconstant of int