Leonardo de Moura d956f0ae9f feat: use destructTuple to compile for in notation instead of pattern matchin		2021-02-04 17:17:51 -08:00
..
Basic.lean	feat: use destructTuple to compile for in notation instead of pattern matchin	2021-02-04 17:17:51 -08:00
BinSearch.lean	fix: index out of bounds	2020-12-08 11:44:10 -08:00
InsertionSort.lean	feat: sort instances by priority	2020-12-16 10:45:27 -08:00
QSort.lean	chore: remove #lang lean4 header	2020-10-25 09:54:07 -07:00
Subarray.lean	chore: replace variables in src/	2021-01-22 14:36:05 +01:00