diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2018-08-04 11:51:30 -0400 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-08-04 17:51:30 +0200 |
| commit | c9d918de8944fb89e11cf182501e9846ff4316e7 (patch) | |
| tree | 588b496b01b465469c8f6a86cb7dd6462617b462 /hypsrc-test/ref/src/Operators.html | |
| parent | a264b6b3e41dd42946110afcf5000341e5fb3a6d (diff) | |
Latex type families (#734)
* Support for type families in LaTeX
The code is ported over from the XHTML backend.
* Refactor XHTML and LaTeX family handling
This is mostly a consolidation effort: stripping extra exports,
inlining some short definitions, and trying to make the backends
match.
The LaTeX backend now has preliminary support for data families,
although the only the data instance head is printed (not the actual constructors).
Both backends also now use "newtype" for newtype data family
instances.
* Add some tests
Diffstat (limited to 'hypsrc-test/ref/src/Operators.html')
0 files changed, 0 insertions, 0 deletions