types.m (was: assertions and stuff)

Tyson Dowd 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 mailing list