diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-22T14·46+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-09-22T14·46+0000 |
commit | c02a44183fcff7c28cfed1c84c142cc2cf80f167 (patch) | |
tree | a22e8e94ab228480141ece3354c7c91602b5a47b /aterm-gc.supp | |
parent | 8a1ab709a47f0896cb5b47521e31c8c27f88b2b3 (diff) |
* Builtin functions `head' and `tail' to return the head and tail of
list. Useful for lots of things, such as implementing a fold function (see NIX-30, example is in tests/lang/eval-okay-list.nix).
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions