annotate sequences/lazy_cons.m @ 13:03694e5c8365

Reorganised some high order list functions to correct class-based method dispatch; fixed some docs.
author samer
date Wed, 16 Jan 2013 12:12:34 +0000
parents 3f77126f7b5f
children
rev   line source
samer@0 1 % lazy_cons - Make sequence given head and tail
samer@0 2 %
samer@3 3 % lazy_cons :: A, (void -> seq(A)) -> seq(A).
samer@3 4 function Y=lazy_cons(X,Z), Y=seq.lcons(X,Z); end
samer@0 5