Mario Carneiro f74fee07e6 doc: document Init.Data.List.Basic (#1828) ... * doc: document Init.Data.List.Basic * Apply suggestions from code review Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch> Co-authored-by: Sebastian Ullrich <sebasti@nullri.ch>		2022-11-18 06:16:50 -08:00
..
Basic.lean	doc: document Init.Data.List.Basic (#1828)	2022-11-18 06:16:50 -08:00
BasicAux.lean	chore: incorrect annotation	2022-11-07 16:18:36 -08:00
Control.lean	feat: tail-recursive List.{mapM, foldrM}	2022-09-14 08:31:18 -07:00