summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/to_expr.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-17Use binder ids to reconstruct variables in expr outputNadrieril1-5/+25
2020-01-17Simplify Value::to_exprNadrieril1-69/+43
2020-01-17Parameterize ValueKind by its subnodesNadrieril1-1/+1
2019-12-20Move ValueKind into value.rsNadrieril1-1/+1
2019-12-20s/ExprF/ExprKind/Nadrieril1-25/+29
2019-12-19Move out conversion from value back to ast to its own fileNadrieril1-0/+101