Hi,Is there a way to make polyml display an integer in its hex format? For example,
> 0x12; val it = 18 : int I want to have 0x12 echoed back instead of 18. Thanks. Lu _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
