types.m (was: assertions and stuff)
trd at cs.mu.OZ.AU
Fri Apr 24 13:55:12 AEST 1998
On 24-Apr-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> [On another point, perhaps we should move the various type-related
> procedures from std_util.m to a new module called say types.m.]
Tyson Dowd # There isn't any reason why Linux can't be
# implemented as an enterprise computing solution.
trd at cs.mu.oz.au # Find out what you've been missing while you've
http://www.cs.mu.oz.au/~trd # been rebooting Windows NT. -- InfoWorld, 1998.
More information about the developers