summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2019-03-19Add travis integrationNadrieril2-11/+18
2019-03-18Implement a few more primitivesNadrieril3-38/+65
2019-03-18Split List literal between empty and non-emptyNadrieril4-32/+41
2019-03-18tweaksNadrieril1-4/+14
2019-03-18Split off builtin application normalization for clarityNadrieril1-168/+149
2019-03-18Improve normalization ergonomicsNadrieril1-145/+150
2019-03-18Improve ergonomics of typecheckingNadrieril1-354/+248
2019-03-18Considerably simplify subst, shift and typecheckingNadrieril4-241/+88
2019-03-17Clean up some mess relating to Clone boundsNadrieril2-13/+13
2019-03-17Use Rc consistently everywhereNadrieril5-436/+554
2019-03-16Use Rc instead of Box in AST to allow structural sharingNadrieril3-7/+10
2019-03-16Use Box more uniformly in ASTNadrieril3-102/+107
2019-03-16Store an Option in OptionalLit instead of a vecNadrieril3-31/+24
2019-03-15rustfmtNadrieril1-26/+24
2019-03-15Get rid of box patternsNadrieril2-14/+13
2019-03-15Store a vec in AppNadrieril3-161/+147
2019-03-15Split different tests features into their own filesNadrieril4-238/+241
2019-03-15Rework test harnessNadrieril2-591/+594
2019-03-15Update spec submodule and add new testsNadrieril1-1/+172
2019-03-14Handle and parse interpolated stringsNadrieril5-13/+30
2019-03-14Implement binary decodingNadrieril5-11/+237
2019-03-12rustfmtNadrieril1-2/+10
2019-03-12Handle Some and None builtinsNadrieril2-33/+42
2019-03-12Greatly reduce parser stack usageNadrieril1-1/+1
2019-03-11Fix stack overflows in prelude testsNadrieril1-4/+4
2019-03-11Fix List/fold implementationNadrieril2-16/+14
2019-03-11Update dhall-lang and reactivate prelude testsNadrieril1-127/+127
2019-03-11Normalize lazilyNadrieril1-166/+212
2019-03-09Considerably simplify typecheck using dhall_expr!()Nadrieril1-96/+50
2019-03-09Add typecheck testsNadrieril2-0/+178
2019-03-09Obey clippy lintsNadrieril5-6/+10
2019-03-09Remove the pervasive Label type parameterNadrieril5-93/+65
2019-03-09Use new Label type everywhereNadrieril5-88/+64
2019-03-09Use new Label type instead of &str in parserNadrieril2-3/+3
2019-03-09Disable Prelude tests for nowNadrieril1-127/+134
2019-03-09A whole new bunch of tests now pass !Nadrieril3-52/+54
2019-03-09Rename dhall! to dhall_expr! for clarityNadrieril1-5/+5
2019-03-09Recursive imports work !Nadrieril1-2/+2
2019-03-09rustfmtNadrieril1-16/+34
2019-03-09First import works !Nadrieril4-74/+93
2019-03-08Clean up some of the messNadrieril2-24/+17
2019-03-08Rename Expr back to its true nameNadrieril6-84/+84
2019-03-08Finally get rid of all the &'i strNadrieril5-108/+114
2019-03-08Make labels non-CopyNadrieril2-8/+8
2019-03-08rustfmtNadrieril2-5/+9
2019-03-08Slowly propagate the new type parameter throughout the codebaseNadrieril5-83/+106
2019-03-08Generalise Context on its type of keysNadrieril1-4/+4
2019-03-08Make Expr generic in its type of labelsNadrieril2-4/+5
2019-03-07Make test harness less macro-yNadrieril2-59/+126
2019-03-06rustfmtNadrieril3-35/+46
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 11:38:42 +0000