Mario Carneiro f22f699d62 feat: split replicate / replicateTR with @[csimp]		2021-12-18 10:58:57 -08:00
..
Basic.lean	feat: split replicate / replicateTR with @[csimp]	2021-12-18 10:58:57 -08:00
BasicAux.lean	fix: change argument order of List.get[!?D]	2021-12-17 14:21:00 -08:00
Control.lean	chore: fix codebase and tests	2021-06-29 17:14:52 -07:00