| linear tree (string) manipulation |
|
reverse
|
|
rev-rmsp
|
|
inssort
|
|
mergesort
|
|
lc-ucfirst
|
|
rtrim
|
|
ltrim-rtrim
|
| list manipulation |
|
flatten
|
|
foldr
|
|
map-foldr
|
| simple arithmetic expressions |
|
addexp
|
|
addexp-add1
|
| XML processing |
|
split
|
|
split'
|
| an example of unsuccessful inference |
|
id-fail
|
|
|
|