diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-01-29T14·23+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-01-29T14·23+0000 |
| commit | 7349bd0176b8a8ced3a017bb5d0e9ebb30570722 (patch) | |
| tree | 0c550418b620ecd81d386089b59e8d0272c0c565 /scripts/nix-push.in | |
| parent | 7dedbd896ade732ab2fe88a5fe88e069cb329fa5 (diff) | |
New primitives:
* `sub' to subtract two numbers. * `stringLength' to get the length of a string. * `substring' to get a substring of a string. These should be enough to allow most string operations to be expressed.
Diffstat (limited to 'scripts/nix-push.in')
0 files changed, 0 insertions, 0 deletions