| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | filter out invalid eta-reductions | Daniel Thwaites | 2021-10-29 | 1 | -4/+13 |
| | | | | | | if the remaining expression after eta-reduction still contains the removed function argument, eta-reduction is not possible. | ||||
| * | new lint: eta_reduction | Akshay | 2021-10-08 | 1 | -0/+51 |
 |
index : statix | |
| lints and suggestions for the nix programming language |
| aboutsummaryrefslogtreecommitdiff |