X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Fcalculator%2Fcalc5.ml;h=f855c88c8dba9b728e9fbf170585cd7d13c6f432;hp=593f296beb805553ab85e636f43e4b99fec06544;hb=7d27bb2510dd466a8c8135d83b3dc0150ce93bef;hpb=060198e29e2a13552ee64c1e489eea555c8b1cae diff --git a/code/calculator/calc5.ml b/code/calculator/calc5.ml index 593f296b..f855c88c 100644 --- a/code/calculator/calc5.ml +++ b/code/calculator/calc5.ml @@ -1,4 +1,4 @@ -(* calc3,ml, enhanced with Mutable Pairs *) +(* calc5.ml: calc3,ml enhanced with Mutable Pairs *) type term = Intconstant of int