diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-09-14 11:41:59 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-09-14 11:41:59 +0000 |
| commit | ed1db42915dc13cff9b940ae2b12ff9e38b28961 (patch) | |
| tree | 32528bec6f2058af8816a6e269f6519b628f7069 /doc/manual | |
| parent | deb75bb414c6c7a6d1209efd86738fdd147db13d (diff) | |
* List concatenation must be right-associative for efficiency.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions