diff -r 9a63d90d1752 -r f7c4b8e6918b LMCS-Review --- a/LMCS-Review Tue Jan 03 01:42:10 2012 +0000 +++ b/LMCS-Review Tue Jan 03 11:43:27 2012 +0000 @@ -203,6 +203,18 @@ > of pairs. I think that the system should at the very least allow encoding > this example, otherwise set-abstractions will not be very useful in > practice. + +>> datatype trm = +>> Var string +>> | App trm trm +>> | Lam string trm +>> | Let "(string * trm) fset" trm +>> Not a problem. Both finite sets and bags should be possible as +>> constructors within the new package. +>> Best regards and a happy new year! +>> Andrei Popescu + + > > Detailed comments >