Commit graph

10 commits

Author SHA1 Message Date
Simon Cruanes
46e40c9165 delete containers.iter and merge parts of it into containers-data 2020-04-24 19:48:42 -04:00
Simon Cruanes
972a6f2720 style: reindent 2018-03-28 19:46:57 -05:00
Nicola Mometto
8f4c1a24b7 default uses labelled argument 2018-03-06 10:12:20 -06:00
Nicola Mometto
68ad3d7408 Add <|> to CCLazy_list 2018-03-06 10:12:20 -06:00
Simon Cruanes
03fd42e67d reindentation 2017-01-25 00:08:12 +01: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
871fe7cfb7 fix 2016-04-21 16:15:19 +02:00
Simon Cruanes
d587e8aaf4 compat 2016-04-21 15:54:33 +02:00
Simon Cruanes
a3d763bfd9 add CCLazy_list in containers.iter (with a few functions) 2016-04-21 15:24:51 +02:00