summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/typecheck.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Fix insufficient normalizationNadrieril2020-01-291-6/+6
* Use TyExpr in TypedNadrieril2020-01-291-1/+8
* Fix more bugsNadrieril2020-01-291-33/+36
* Implement assert & merge and fix more bugsNadrieril2020-01-281-90/+118
* Thread env through nztion to fix Foo/build closuresNadrieril2020-01-281-3/+11
* Fix a bunch of bugs and more tckNadrieril2020-01-271-29/+35
* Moar typecheckNadrieril2020-01-251-145/+342
* More typecheckNadrieril2020-01-251-8/+231
* 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