Changes between Initial Version and Version 1 of Ticket #7828, comment 11


Ignore:
Timestamp:
May 30, 2014 10:31:10 AM (5 years ago)
Author:
jstolarek
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7828, comment 11

    initial v1  
    2020--        ---> premap (\ ((xs),stk) -> ((ys),(e,stk))) cmd
    2121}}}
    22 What is `|-a`, `xs` and `ys`? What is the difference between `:` and `::`? Could you tell me how to read this particular comment? I should then be able to understand all the others.
     22What is `|-a`, `xs` and `ys`? What is the difference between `:` and `::`? Could you tell me how to read this particular comment? I should then be able to understand all the others. EDIT: Is there a semantic difference between `,` and `;` as in `D; ys` vs. `D, xs`?