Commit message (Expand) | 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 |
index : haddock.git | ||
Haddock with an org backend (haddorg). |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | 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 |