Commit message (Expand) | 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 |
* | 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 |