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 | -2/+2 |
* | Have addModFinalizer expose the local type environment. | Facundo DomÃnguez | 2016-07-06 | 1 | -0/+36 |