Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge remote-tracking branch 'origin/ghc-9.0' into ghc-head | Ben Gamari | 2021-01-13 | 1 | -13/+13 |
| | |||||
* | Display linear/multiplicity arrows correctly (#1238) | Krzysztof Gogolewski | 2020-12-16 | 3 | -0/+98 |
Previously we were ignoring multiplicity and displayed a %1 -> b as a -> b. |