summaryrefslogtreecommitdiff
path: root/dhall/src/main.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | Closes #20
* 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
| | | | 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