Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Upgrade annotate-snippets version | Nadrieril | 2020-03-31 | 1 | -1/+1 |
| | |||||
* | Simplify conversions to/from TyExpr | Nadrieril | 2020-02-13 | 1 | -0/+5 |
| | |||||
* | Move ui outputs to a sensible place | Nadrieril | 2020-02-09 | 1 | -0/+1 |