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