]>
2019-11-01 | Nadrieril | Define a MissingConstructors struct for cleanliness |
commit | commitdiff | tree |
2019-11-01 | Nadrieril | Wording |
commit | commitdiff | tree |
2019-11-01 | Nadrieril | `specialize` conceptually operates on a single pattern |
commit | commitdiff | tree |
2019-11-01 | Nadrieril | Clarify some variable names |
commit | commitdiff | tree |
2019-11-01 | Nadrieril | Refactor "wild constructor" construction |
commit | commitdiff | tree |
2019-11-01 | Nadrieril | Extract constructor application as a Constructor method |
commit | commitdiff | tree |
2019-11-01 | Nadrieril | Remove duplicate logic in compute_missing_constructors |
commit | commitdiff | tree |
2019-11-01 | Nadrieril | Remove some redundancy |
commit | commitdiff | tree |
2019-10-27 | Nadrieril | Clarify and fix the explanation of the algorithm |
commit | commitdiff | tree |
2019-10-27 | Nadrieril | Remove mention of old slice pattern syntax |
commit | commitdiff | tree |
2019-10-27 | Nadrieril | tidy |
commit | commitdiff | tree |
2019-10-27 | Nadrieril | Run `rustfmt` |
commit | commitdiff | tree |