home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 January / usenetsourcesnewsgroupsinfomagicjanuary1994.iso / sources / unix / volume10 / ifp / part01 / fproot / demo / Double < prev    next >
Encoding:
Text File  |  1987-07-05  |  70 b   |  5 lines
  1. (* Double a number - e.g. 3:Double -> 6 *)
  2.  
  3. DEF Double AS [id,id]|+;
  4.  
  5.