Leonardo de Moura 272dd5533f chore: style use · instead of . for lambda dot notation ... We are considering removing `.` as an alternative for `·` in the lambda dot notation (e.g., `(·+·)`). Reasons: - `.` is not a perfect replacement for `·` (e.g., `(·.insert ·)`) - `.` is too overloaded: `(f.x)` and `(f .x)` and `(f . x)`. We want to keep the first two.		2022-03-11 07:49:03 -08:00
..
Basic.lean	feat: add equality proof for named patterns	2022-01-18 12:43:01 -08:00
CaseArraySizes.lean	chore: remove arbitrary	2022-01-15 12:14:27 -08:00
CaseValues.lean	feat: add new flag to caseValues	2022-01-18 12:15:29 -08:00
Match.lean	refactor: List.get: take Fin to align with Array.get	2022-02-15 18:41:22 +01:00
MatchEqs.lean	chore: style use · instead of . for lambda dot notation	2022-03-11 07:49:03 -08:00
MatcherInfo.lean	fix: heuristic for generating equation theorem types	2022-02-23 13:10:30 -08:00
MatchPatternAttr.lean	chore: cleanup	2020-10-27 13:26:21 -07:00
MVarRenaming.lean	chore: cleanup	2022-01-26 09:18:17 -08:00
Value.lean	feat: improve Match module for patterns containing Fin and UInt literals	2021-09-05 20:43:40 -07:00