Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Support value/type namespaces on identifier links | Alec Theriault | 2019-02-25 | 1 | -0/+13 |
* | 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 |