diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2019-10-07 15:11:22 -0400 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2019-10-07 17:56:13 -0400 |
| commit | 5459ca8a76825da59ff4c1c11d74812d1931da50 (patch) | |
| tree | 651863b6ddc83ffa16060d5e49d2681c8b318de8 /latex-test/ref/GadtConstructorArgs/GadtConstructorArgs.tex | |
| parent | 63c7e87de4fa94cea9eb1b253054a316d3d75e1c (diff) | |
Prefer un-hyperlinked sources to no sources
It is possible to fail to extract an HIE ast. This is however not a
reason to produce _no_ output - we should still make a colorized HTML
page.
Diffstat (limited to 'latex-test/ref/GadtConstructorArgs/GadtConstructorArgs.tex')
0 files changed, 0 insertions, 0 deletions