diff options
| author | Niklas Haas <git@nand.wakku.to> | 2014-03-11 07:21:03 +0100 |
|---|---|---|
| committer | Niklas Haas <git@nand.wakku.to> | 2014-03-11 10:26:04 +0100 |
| commit | 72f655f5a4429403674521d251e6cccf62d76747 (patch) | |
| tree | 1731f269ca6f9c5dc99fda6d426cc537ea972269 /resources/html/Classic.theme/plus.gif | |
| parent | 3f6c34a3cb23d046486c2a58cdf197b9959a4983 (diff) | |
Update appearance of fixity annotations
This moves them in-line with their corresponding lines, similar to a
presentation envision by @hvr and described in #ghc.
Redundant operator names are also omitted when no ambiguity is present.
Diffstat (limited to 'resources/html/Classic.theme/plus.gif')
0 files changed, 0 insertions, 0 deletions