7 commits

Author	SHA1	Message	Date
Nicola Mometto	da201429ed	Add <|> to CCLazy_list	2018-03-06 10:50:34 +00:00
nathan moreau	25f919070f	Adding comments 2	2018-01-21 17:09:42 +01:00
Simon Cruanes	228011d9aa	prepare for 0.18	2016-06-14 14:12:02 +02:00
Simon Cruanes	c3e0f81f7e	add CCLazy_list.take	2016-04-25 20:39:08 +02:00
Simon Cruanes	560cba9754	add Lazy_list.filter	2016-04-25 19:52:57 +02:00
Simon Cruanes	73eecfb10d	prepare for 0.17	2016-04-22 23:01:37 +02:00
Simon Cruanes	a3d763bfd9	add CCLazy_list in containers.iter (with a few functions)	2016-04-21 15:24:51 +02:00