summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core/context.rs (follow)
Commit message (Collapse)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