summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/mod.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-02-09Take Hir for typecheckNadrieril1-0/+1
2020-02-09Add Hir as untyped alternative to TyExprNadrieril1-0/+2
2020-01-30Move parse and resolve up a levelNadrieril1-1/+2
2020-01-30Move Value-related stuff under semantics::nzeNadrieril1-2/+0
2020-01-30Move builtins-related code to its own moduleNadrieril1-0/+2
2020-01-29Move envs to their own filesNadrieril1-0/+1
2020-01-20Reimplement basic tck/nze with proper environmentsNadrieril1-0/+1
2020-01-18Introduce intermediate representation that stores typed exprNadrieril1-1/+2
2020-01-17Implement traverse_ref for ValueKindNadrieril1-0/+1
2019-12-20Move error module to root of crateNadrieril1-1/+0
2019-12-19Move out conversion from value back to ast to its own fileNadrieril1-0/+1
2019-12-15Move contents of dhall under a semantics submoduleNadrieril1-0/+3