Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2011-01-14 | * builtins.substring: if "start" is beyond the end of the string, | Eelco Dolstra | 1 | -0/+2 | |
return the empty string. | |||||
2007-01-29 | New primitives: | Eelco Dolstra | 1 | -0/+19 | |
* `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. |