about summary refs log tree commit diff
path: root/doc/dev
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2007-01-29T14·23+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2007-01-29T14·23+0000
commit7349bd0176b8a8ced3a017bb5d0e9ebb30570722 (patch)
tree0c550418b620ecd81d386089b59e8d0272c0c565 /doc/dev
parent7dedbd896ade732ab2fe88a5fe88e069cb329fa5 (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 'doc/dev')
0 files changed, 0 insertions, 0 deletions