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 /latex-test/ref/Simple/main.tex | |
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 'latex-test/ref/Simple/main.tex')
0 files changed, 0 insertions, 0 deletions