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