summaryrefslogtreecommitdiff
path: root/dhall/src/phase/binary.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update dhall-lang submoduleNadrieril2019-08-031-12/+12
* Finish implementing binary encodingNadrieril2019-05-121-6/+8
* Implement binary encodingNadrieril2019-05-121-20/+291
* Write a custom map type that allows duplicatesNadrieril2019-05-101-29/+38
* Detect duplicate record fields in typecheckNadrieril2019-05-091-32/+29
* Rename the record combining operators internallyNadrieril2019-05-081-3/+3
* Consolidate errors in the error moduleNadrieril2019-05-061-8/+9
* Reorganize dhall into a phase structureNadrieril2019-05-061-0/+363