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
|
|
|
|