summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/printer.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Implement binary encodingNadrieril2019-05-121-11/+18
| | | | Closes #39
* ExprF need not be generic in LabelNadrieril2019-05-091-2/+2
|
* Rename the record combining operators internallyNadrieril2019-05-081-3/+3
|
* Implement normalization of missing builtinsNadrieril2019-05-081-1/+12
|
* Move `Note`s into the spine of the ASTNadrieril2019-05-041-8/+2
|
* Rename dhall_core to dhall_syntaxNadrieril2019-05-041-0/+498