summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/mod.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Take Hir for typecheckNadrieril2020-02-091-0/+1
* Add Hir as untyped alternative to TyExprNadrieril2020-02-091-0/+2
* Move parse and resolve up a levelNadrieril2020-01-301-1/+2
* Move Value-related stuff under semantics::nzeNadrieril2020-01-301-2/+0
* Move builtins-related code to its own moduleNadrieril2020-01-301-0/+2
* Move envs to their own filesNadrieril2020-01-291-0/+1
* Reimplement basic tck/nze with proper environmentsNadrieril2020-01-201-0/+1
* Introduce intermediate representation that stores typed exprNadrieril2020-01-181-1/+2
* Implement traverse_ref for ValueKindNadrieril2020-01-171-0/+1
* Move error module to root of crateNadrieril2019-12-201-1/+0
* Move out conversion from value back to ast to its own fileNadrieril2019-12-191-0/+1
* Move contents of dhall under a semantics submoduleNadrieril2019-12-151-0/+3