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 /blacklisting | |
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 'blacklisting')
0 files changed, 0 insertions, 0 deletions