Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Display linear/multiplicity arrows correctly (#1238) | Krzysztof Gogolewski | 2020-12-16 | 3 | -0/+98 |
* | Accept test cases | Alec Theriault | 2018-08-21 | 3 | -0/+104 |
* | Latex type families (#734) | Alec Theriault | 2018-08-04 | 3 | -0/+112 |
* | Misc tests (#858) | Alec Theriault | 2018-07-20 | 6 | -0/+230 |
* | 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 |