summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/to_expr.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Use alpha variables everywhereNadrieril2020-01-171-5/+24
* Remove binder idsNadrieril2020-01-171-20/+3
* Use binder ids to reconstruct variables in expr outputNadrieril2020-01-171-5/+25
* Simplify Value::to_exprNadrieril2020-01-171-69/+43
* Parameterize ValueKind by its subnodesNadrieril2020-01-171-1/+1
* Move ValueKind into value.rsNadrieril2019-12-201-1/+1
* s/ExprF/ExprKind/Nadrieril2019-12-201-25/+29
* Move out conversion from value back to ast to its own fileNadrieril2019-12-191-0/+101