Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add reference to ppr_ty for type variables | Matthew Pickering | 2017-08-09 | 1 | -5/+5 |
| | |||||
* | Use NamedThing rather than just outputablebndr | Matthew Pickering | 2017-07-27 | 1 | -5/+6 |
| | |||||
* | Some more references and actually export binder type | Matthew Pickering | 2017-07-26 | 1 | -1/+1 |
| | | | | | Need to do some refinement about where definition sites are printed but this will do for now. | ||||
* | More refined annotations + binders + bindings | Matthew Pickering | 2017-07-26 | 1 | -2/+14 |
| | |||||
* | Start of annotating core | Matthew Pickering | 2017-07-25 | 1 | -0/+9 |