Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge tests into a larger file (part 3 of ∞: generics) (#9347) | Miran | 2018-10-14 | 1 | -21/+0 |
* | fixes #7247 | Andreas Rumpf | 2018-02-23 | 1 | -6/+15 |
* | better type inference for numerical types; prerequisitive for version 1 | Andreas Rumpf | 2018-02-02 | 1 | -0/+12 |