summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/typecheck.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Typecheck more casesNadrieril2020-01-251-53/+134
* Implement basic typecheck with new approachNadrieril2020-01-241-0/+147