Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename the record combining operators internally | Nadrieril | 2019-05-08 | 1 | -3/+3 |
| | |||||
* | Implement normalization of missing builtins | Nadrieril | 2019-05-08 | 1 | -1/+12 |
| | |||||
* | Move `Note`s into the spine of the AST | Nadrieril | 2019-05-04 | 1 | -8/+2 |
| | |||||
* | Rename dhall_core to dhall_syntax | Nadrieril | 2019-05-04 | 1 | -0/+498 |