summaryrefslogtreecommitdiff
path: root/dhall/src/error (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-08Typecheck record projectionNadrieril1-0/+2
2019-05-08Typecheck mergeNadrieril1-0/+7
2019-05-07Unify typecheck and normalization contextsNadrieril1-6/+0
2019-05-06Move main datatypes into their own modulesNadrieril1-1/+1
2019-05-06Consolidate errors in the error moduleNadrieril35-0/+1934