summaryrefslogtreecommitdiff
path: root/dhall/src/main.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Reorganize dhall_core a bitNadrieril2019-03-211-1/+1
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-181-1/+1
* Use Rc consistently everywhereNadrieril2019-03-171-3/+4
* Obey clippy lintsNadrieril2019-03-091-2/+2
* Remove the pervasive Label type parameterNadrieril2019-03-091-1/+1
* Use new Label type everywhereNadrieril2019-03-091-3/+2
* Use new Label type instead of &str in parserNadrieril2019-03-091-2/+2
* First import works !Nadrieril2019-03-091-1/+2
* Rename Expr back to its true nameNadrieril2019-03-081-1/+1
* Finally get rid of all the &'i strNadrieril2019-03-081-1/+1
* Slowly propagate the new type parameter throughout the codebaseNadrieril2019-03-081-1/+1
* Finally get rid of old parserNadrieril2019-03-061-28/+2
* Start parsing importsNadrieril2019-03-061-3/+1
* Merge dhall_normalize back into dhall; that was unnecessaryNadrieril2019-03-061-1/+0
* Split-off normalization into its own crateNadrieril2019-03-061-0/+1
* Split-off core into its own crateNadrieril2019-03-061-0/+1
* rustfmtNadrieril2019-03-061-8/+27
* Add parser/failure tests from specNadrieril2019-03-021-1/+1
* Split abnf_to_pest and dhall into their own cratesNadrieril2019-03-011-0/+101