summaryrefslogtreecommitdiff
path: root/dhall/src/typecheck.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Merge binary operations in ASTNadrieril2019-03-051-7/+8
|
* Make some annotations optional in ASTNadrieril2019-03-041-12/+30
|
* Merge builtins in a single enumNadrieril2019-03-031-33/+32
|
* Split abnf_to_pest and dhall into their own cratesNadrieril2019-03-011-0/+616