summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/resolve (unfollow)
Commit message (Collapse)AuthorFilesLines
2020-02-17Move hir and resolve into a moduleNadrieril4-0/+400