summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-09Small utility SubExpr::from_builtinNadrieril1-0/+4
2019-05-09ExprF need not be generic in LabelNadrieril2-192/+92
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril1-9/+13
2019-05-09Detect duplicate record fields in typecheckNadrieril2-17/+14
2019-05-09Update dhall-lang submoduleNadrieril1-0/+12
2019-05-08Rename the record combining operators internallyNadrieril1-5/+5
2019-05-07Don't discard normalization work done by typecheckingNadrieril1-1/+1
2019-05-07Reorganize dhall_syntaxNadrieril7-0/+1226