view sequences/lazy_cons.m @ 8:f0a3d7d7a0e3

Renamed cat_sep function to catsep
author samer
date Mon, 14 Jan 2013 14:54:10 +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