summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core/context.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move contents of dhall_syntax to dhallNadrieril2019-12-151-80/+0
* Stop tracking the absence of Embed values at the type levelNadrieril2019-08-131-1/+1
* clippyNadrieril2019-05-121-2/+2
* Reorganize dhall_syntaxNadrieril2019-05-071-0/+80