previous up contents next
Left: Fail Up: Standard library function functions Right: Reverse

Idem

  Idem maps a path to the corresponding sequence of atoms.

    Idem:
        <> ==
        <$x> == $x <>.
    
    Idem:<a b c> = a b c.

See also LocalPath.


---------------------------------------------------------

Copyright © Roger Evans, Gerald Gazdar & Bill Keller, Tuesday 10 November 1998