Mario Carneiro 51a78fd7af fix: change argument order of List.get[!?D]		2021-12-17 14:21:00 -08:00
..
Basic.lean	chore: missing annotations at List.mapTR	2021-08-27 10:17:49 -07: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