[MLton] type-str.fun

Stephen Weeks MLton@mlton.org
Thu, 19 Feb 2004 18:31:38 -0800


> mlton/elaborate/type-str.{sig,fun}
> Can they be removed from the repository?

Yes.  Done.