summaryrefslogtreecommitdiff
path: root/dhall/src (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Handle merge and record projectionNadrieril2019-03-231-5/+36
* oopsNadrieril2019-03-221-7/+7
* Parse a lot more of the import typesNadrieril2019-03-222-10/+84
* Improve binary decoding errorsNadrieril2019-03-221-14/+25
* Improve import handling in parserNadrieril2019-03-213-1/+34
* rustfmtNadrieril2019-03-211-11/+3
* Follow the spec for handling DoublesNadrieril2019-03-211-1/+1
* Represent Optional literals more faithfullyNadrieril2019-03-213-39/+20
* Rename Record/Union to RecordType/UnionTypeNadrieril2019-03-212-7/+7
* Reorganize dhall_core a bitNadrieril2019-03-213-6/+6
* rustfmtNadrieril2019-03-191-14/+20
* Implement a few more primitivesNadrieril2019-03-182-17/+44
* Split List literal between empty and non-emptyNadrieril2019-03-183-29/+38
* tweaksNadrieril2019-03-181-4/+14
* Split off builtin application normalization for clarityNadrieril2019-03-181-168/+149
* Improve normalization ergonomicsNadrieril2019-03-181-145/+150
* Improve ergonomics of typecheckingNadrieril2019-03-181-354/+248
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-183-237/+87
* Clean up some mess relating to Clone boundsNadrieril2019-03-172-13/+13
* Use Rc consistently everywhereNadrieril2019-03-174-427/+545
* Use Rc instead of Box in AST to allow structural sharingNadrieril2019-03-163-7/+10
* Use Box more uniformly in ASTNadrieril2019-03-163-102/+107
* Store an Option in OptionalLit instead of a vecNadrieril2019-03-163-31/+24
* rustfmtNadrieril2019-03-151-26/+24
* Get rid of box patternsNadrieril2019-03-152-14/+13
* Store a vec in AppNadrieril2019-03-153-161/+147
* Handle and parse interpolated stringsNadrieril2019-03-142-5/+17
* Implement binary decodingNadrieril2019-03-142-0/+215
* rustfmtNadrieril2019-03-121-2/+10
* Handle Some and None builtinsNadrieril2019-03-121-1/+10
* Fix List/fold implementationNadrieril2019-03-111-4/+4
* Normalize lazilyNadrieril2019-03-111-166/+212
* Considerably simplify typecheck using dhall_expr!()Nadrieril2019-03-091-96/+50
* Obey clippy lintsNadrieril2019-03-095-6/+10
* Remove the pervasive Label type parameterNadrieril2019-03-094-90/+64
* Use new Label type everywhereNadrieril2019-03-094-85/+61
* Use new Label type instead of &str in parserNadrieril2019-03-092-3/+3
* A whole new bunch of tests now pass !Nadrieril2019-03-092-1/+2
* Rename dhall! to dhall_expr! for clarityNadrieril2019-03-091-5/+5
* Recursive imports work !Nadrieril2019-03-091-2/+2
* rustfmtNadrieril2019-03-091-16/+34
* First import works !Nadrieril2019-03-093-51/+85
* Clean up some of the messNadrieril2019-03-082-24/+17
* Rename Expr back to its true nameNadrieril2019-03-085-83/+83
* Finally get rid of all the &'i strNadrieril2019-03-084-106/+111
* Make labels non-CopyNadrieril2019-03-082-8/+8
* rustfmtNadrieril2019-03-081-1/+1
* Slowly propagate the new type parameter throughout the codebaseNadrieril2019-03-084-80/+103
* Generalise Context on its type of keysNadrieril2019-03-081-4/+4
* Make Expr generic in its type of labelsNadrieril2019-03-082-4/+5