Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | More uniform handling of `forall`'s in HTML/LaTeX | Alec Theriault | 2018-11-26 | 1 | -0/+15 |
* don't forget to print explicit `forall`'s when there are arg docs * when printing an explicit `forall`, print all tyvars Fixes #973 |