summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/printer.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add truncated Natural subtractionNadrieril2019-08-071-0/+1
* Remove union literals from the languageNadrieril2019-08-071-10/+0
* Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-061-2/+1
* RFC3986 URLsNadrieril2019-08-061-0/+1
* Remove old-style optional literalsNadrieril2019-08-061-8/+0
* Update dhall-lang submoduleNadrieril2019-08-031-1/+3
* Implement binary encodingNadrieril2019-05-121-11/+18
* 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