9 commits

Author	SHA1	Message	Date
Simon Cruanes	fdcba1122d	add CCKlist.memoize for costly computations	2015-10-01 20:50:35 +02:00
Simon Cruanes	ec0e92da35	bugfix in CCKList.take, it was slightly too eager	2015-10-01 18:54:09 +02:00
Simon Cruanes	d033b4621c	add fair functions to CCKList	2015-09-14 19:44:59 +02:00
Simon Cruanes	40012fc84c	add CCKList.{zip, unzip}	2015-08-31 15:41:17 +02:00
Simon Cruanes	5a4d25b939	add CCKList.{of_array,to_array}	2015-08-31 13:42:13 +02:00
Simon Cruanes	6bbe443d85	add CCKList.{head,tail,mapi,iteri}	2015-08-31 13:37:40 +02:00
Simon Cruanes	6f8882b8af	add CCKList.{unfold,of_gen}	2015-08-31 13:16:35 +02:00
Simon Cruanes	ac180aa339	remove trailing whitespace	2015-03-02 23:39:10 +01:00
Simon Cruanes	61465fa19a	remove cgi/; move sub-libraries to their own subdir each; mv everything into src/	2014-12-16 23:41:59 +01:00

Renamed from core/CCKList.ml (Browse further)