3 commits

Author	SHA1	Message	Date
Eelco Dolstra	9db190eb31	* builtins.substring: if "start" is beyond the end of the string, ... return the empty string.	2011-01-14 12:47:10 +00:00
Eelco Dolstra	7148df7971	* Update the expected test output (no longer an ATerm).	2010-04-21 16:22:03 +00:00
Eelco Dolstra	7349bd0176	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.	2007-01-29 14:23:09 +00:00