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