Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Display linear/multiplicity arrows correctly (#1238) | Krzysztof Gogolewski | 2020-12-16 | 3 | -0/+98 |
| | | | | Previously we were ignoring multiplicity and displayed a %1 -> b as a -> b. | ||||
* | Accept test cases | Alec Theriault | 2018-08-21 | 3 | -0/+104 |
| | |||||
* | Latex type families (#734) | Alec Theriault | 2018-08-04 | 3 | -0/+112 |
| | | | | | | | | | | | | | | | | | | | | * 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 | ||||
* | Misc tests (#858) | Alec Theriault | 2018-07-20 | 6 | -0/+230 |
| | | | | | | | | | | | | * More tests * spliced types * constructor/pattern argument docs * strictness marks on fields with argument docs * latex test cases need seperate directory * Accept tests | ||||
* | Accept output for Hoogle and LaTeX backends. | Ćukasz Hanuszczak | 2015-08-24 | 1 | -2/+1 |
| | |||||
* | LaTeX tests setup | Mateusz Kowalczyk | 2013-08-27 | 3 | -0/+85 |