Mercurial > hg > ishara
view sequences/lazy_cons.m @ 29:61921dceded1
More documentation on type system.
author | samer |
---|---|
date | Sat, 19 Jan 2013 17:56:21 +0000 |
parents | 3f77126f7b5f |
children |
line wrap: on
line source
% lazy_cons - Make sequence given head and tail % % lazy_cons :: A, (void -> seq(A)) -> seq(A). function Y=lazy_cons(X,Z), Y=seq.lcons(X,Z); end