Snippets Groups Projects

Array.pmod

26 years ago
5e16bafa
The "function" argument in Array.map() and Array.filter() may now be a multiset. · 5e16bafa
Henrik (Grubba) Grubbström authored 26 years ago
```
Rev: lib/modules/Array.pmod:1.35
```
5e16bafa

History
The "function" argument in Array.map() and Array.filter() may now be a multiset.
Henrik (Grubba) Grubbström authored 26 years ago
```
Rev: lib/modules/Array.pmod:1.35
```