Leonardo de Moura 3a80e87793 chore: #405 step 1		2021-04-22 20:03:48 -07:00
..
Basic.lean	chore: #405 step 1	2021-04-22 20:03:48 -07:00
BasicAux.lean	feat: add List.rotateLeft and List.rotateRight	2021-03-12 17:09:22 -08:00
Control.lean	test: add do equivalence examples	2021-03-03 13:44:30 -08:00