Sha256: 95f7a750a674b83727d124cbe24b5fd3399deef897b2f1e7c6dfb16a71b48c59
Contents?: true
Size: 484 Bytes
Versions: 17
Compression:
Stored size: 484 Bytes
Contents
(datatype progression
X : (A * (A --> A) * (A --> boolean));
======================================
X : (progression A);)
(define delay
{(progression A) --> (progression A)}
(@p X F E) -> (if (not (E X))
(@p (F X) F E)
(error "progression exhausted!~%")))
(define force
{(progression A) --> A}
(@p X F E) -> X)
(define end?
{(progression A) --> boolean}
(@p X _ E) -> (E X))
Version data entries
17 entries across 17 versions & 1 rubygems