| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Better rendering of unboxed sums/tuples | Alec Theriault | 2018-08-21 | 1 | -0/+18 |
| * | Latex type families (#734) | Alec Theriault | 2018-08-04 | 1 | -0/+21 |
| * | Misc tests (#858) | Alec Theriault | 2018-07-20 | 2 | -0/+69 |
| * | LaTeX tests setup | Mateusz Kowalczyk | 2013-08-27 | 1 | -0/+5 |
