summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/tir.rs (follow)
Commit message (Collapse)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