summaryrefslogtreecommitdiff
path: root/dhall/src/main.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove mainNadrieril2019-05-051-93/+0
* Restrict public API to its most minimal expressionNadrieril2019-04-121-79/+81
* s/load_from/parse/Nadrieril2019-04-101-1/+1
* Restrict public APINadrieril2019-04-071-11/+9
* Remove evil Deref implNadrieril2019-03-311-1/+1
* Make SubExpr a newtypeNadrieril2019-03-311-2/+1
* 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