Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Spelling and grammar fixes | Ville Skyttä | 2021-09-17 | 1 | -1/+1 |
| | |||||
* | Add simplified test cases for inference of pattern variables | Marc Mueller | 2021-07-19 | 1 | -0/+14 |
| | |||||
* | Add regression test for Pattern Matching 3.10 (#4550) | Marc Mueller | 2021-06-07 | 1 | -0/+24 |