diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-02-18 00:01:25 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-18 00:05:56 +0100 |
| commit | 7ac0237e68045b8735a0c0452656390fc0a2cdcb (patch) | |
| tree | 25be70b830ea70a69ff1da6c22289dc8a6f926ee /html-test/ref/NamedDoc.html | |
| parent | fdd07f36c26b7f8452c3e15aca312b32821f1ea5 (diff) | |
Xhtml.Decl: Show 'where ...' after closed type family
Seems like we should ideally show the actual equations as well but that
seems like it would be a fair amount of work
Diffstat (limited to 'html-test/ref/NamedDoc.html')
0 files changed, 0 insertions, 0 deletions