Package list-nth-1.55
Information
versions | 1.0→ ··· →1.53→1.54→ 1.55 →1.56→ 1.62 |
description | The list nth function |
author | Joe Leslie-Hurd <joe@gilith.com> |
license | MIT |
installed | 04:53:59 on Sunday 23 March 2014 |
For more details see the package document.
Includes
- list-nth-thm-1.57 — Properties of the list nth function
- list-nth-def-1.49 — Definition of the list nth function
Included By
- list-1.92 — List types