Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use a newtype `Code` for the return type of typed quotations (Proposal #195) | Matthew Pickering | 2020-07-21 | 1 | -3/+3 |
* | Capture and simplify constraints arising from running typed splices | Matthew Pickering | 2019-02-10 | 1 | -0/+13 |