Package stream-1.46
Information
versions | 1.16→ ··· →1.44→1.45→ 1.46 →1.49→1.50→ 1.51 |
description | Infinite stream types |
author | Joe Leslie-Hurd <joe@gilith.com> |
license | MIT |
installed | 21:53:28 on Tuesday 7 July 2015 |
For more details see the package document.
Includes
- stream-def-1.36 — Definition of infinite stream types
- stream-thm-1.39 — Properties of infinite stream types