Leonardo de Moura af5ff9ceb2 refactor: move List.takeWhile to Init.Data.List.Basic ... Motivation: make sure it will be aligned by BinPort		2021-07-31 15:03:33 -07:00
..
Basic.lean	refactor: move List.takeWhile to Init.Data.List.Basic	2021-07-31 15:03:33 -07:00
BasicAux.lean	chore: fix codebase and tests	2021-06-29 17:14:52 -07:00
Control.lean	chore: fix codebase and tests	2021-06-29 17:14:52 -07:00