summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/tir.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Borrow relevant Hir from TirNadrieril2020-02-181-24/+6
* Rename Value to NirNadrieril2020-02-171-13/+13
* Rename TyExpr to TirNadrieril2020-02-171-0/+193