Leonardo de Moura 16cb6fe759 feat: add foldrRangeM		2019-12-30 08:11:23 -08:00
..
Basic.lean	feat: add foldrRangeM	2019-12-30 08:11:23 -08:00
BinSearch.lean	feat: generalize binInsert	2019-11-23 08:20:20 -08:00
QSort.lean	chore: library/Init ==> src/Init	2019-11-22 06:06:05 -08:00