summaryrefslogtreecommitdiff
path: root/dhall/src/main.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | Closes #14
* Remove the pervasive Label type parameterNadrieril2019-03-091-1/+1
| | | | Closes #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