Package list-1.68
Information
| versions | 1.11→ ··· →1.60→1.63→ 1.68 →1.75→1.77→ ··· → 1.107 |
| description | List types |
| author | Joe Hurd <joe@gilith.com> |
| license | MIT |
| installed | 07:38:53 on Thursday 16 August 2012 |
For more details see the package document.
Includes
- list-append-1.41 — Appending lists
- list-def-1.51 — Definition of list types
- list-dest-1.38 — List type destructors
- list-filter-1.41 — The list filter function
- list-fold-1.15 — List fold operations
- list-interval-1.48 — The list interval function
- list-last-1.41 — The last list function
- list-length-1.40 — The list length function
- list-map-1.42 — The list map function
- list-nth-1.48 — The list nth function
- list-nub-1.45 — The list nub function
- list-replicate-1.45 — The list replicate function
- list-reverse-1.38 — The list reverse function
- list-set-1.42 — List to set conversions
- list-take-drop-1.45 — The list take and drop functions
- list-thm-1.45 — Properties of list types
- list-zip-1.12 — The list zip function
Mordor OpenTheory Repo, maintained by