diff options
Diffstat (limited to 'src/algebra/list.spad.pamphlet')
| -rw-r--r-- | src/algebra/list.spad.pamphlet | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/algebra/list.spad.pamphlet b/src/algebra/list.spad.pamphlet index 6ceb30fa..2bf3a01d 100644 --- a/src/algebra/list.spad.pamphlet +++ b/src/algebra/list.spad.pamphlet @@ -253,6 +253,13 @@ List(S:Type): Exports == Implementation where convert concat(convert('construct)@InputForm, [convert a for a in (x pretend List S)]$List(InputForm)) + map!(f,x) == + y := x + while not empty? y repeat + y.first := f(y.first) + y := rest y + x + @ \section{package LIST2 ListFunctions2} |