summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/context.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-04Rename dhall_core to dhall_syntaxNadrieril1-0/+0
2019-04-18Label is redundant in EnvItem::SkipNadrieril1-2/+4
2019-04-18Use a context for substitution in normalizationNadrieril1-1/+7
2019-04-18subst_shift in a single passNadrieril1-0/+14
2019-03-08Slowly propagate the new type parameter throughout the codebaseNadrieril1-2/+2
2019-03-08Generalise Context on its type of keysNadrieril1-8/+10
2019-03-06Move context to dhall_coreNadrieril1-0/+0
2019-03-06rustfmtNadrieril1-1/+6
2019-03-01Split abnf_to_pest and dhall into their own cratesNadrieril1-0/+0
2017-09-08fixed some clippy warningsAndre Bogus1-2/+2
2017-03-10Fix context lookup orderNanoTech1-1/+1
2017-03-10Replace Cow<'i, str> with &'i str in ExprNanoTech1-3/+2
2017-03-10Begin implementing type checkingNanoTech1-0/+52