summaryrefslogtreecommitdiff
path: root/dhall/src/core.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-03-06Split-off core into its own crateNadrieril1-1205/+0
2019-03-06rustfmtNadrieril1-2/+4
2019-03-06Implement normalization for some more builtinsNadrieril1-5/+16
2019-03-06rustfmtNadrieril1-167/+292
2019-03-06Add missing builtinsNadrieril1-9/+27
2019-03-05Merge binary operations in ASTNadrieril1-90/+56
2019-03-04Make some annotations optional in ASTNadrieril1-22/+42
2019-03-03Parse more of the ASTNadrieril1-3/+11
2019-03-03Parse builtinsNadrieril1-20/+30
2019-03-03Merge builtins in a single enumNadrieril1-60/+44
2019-03-02Start implementing parsing on top of pestNadrieril1-0/+5
2019-03-01Split abnf_to_pest and dhall into their own cratesNadrieril1-0/+0
2019-02-27Add Natural/Show builtinNadrieril1-0/+3
2019-02-27Switch to Rust 2018 editionNadrieril1-11/+11
2017-09-08fixed some clippy warningsAndre Bogus1-120/+120
2017-03-10_ unused variablesNanoTech1-5/+5
2017-03-10Implement fold/build fusion normalize casesNanoTech1-7/+7
2017-03-10Format more operators, still ignoring precedence for nowNanoTech1-0/+6
2017-03-10Format ListLit and OptionalLitNanoTech1-23/+27
2017-03-10Implement more normalize and typecheck casesNanoTech1-8/+93
2017-03-10Implement all subst casesNanoTech1-8/+51
2017-03-10Implement all shift casesNanoTech1-74/+46
2017-03-10Use BTreeMaps to keep records and unions sortedNanoTech1-23/+9
2017-03-10Implement more list functionsNanoTech1-33/+53
2017-03-10Fix formatting for Pi("_", _, _)NanoTech1-0/+5
2017-03-10normalize: Take the input Expr by referenceNanoTech1-33/+42
2017-03-10Implement more typechecker casesNanoTech1-1/+30
2017-03-10impl Display for ExprNanoTech1-9/+231
2017-03-10Implement more typechecking for Prelude/List/shiftedNanoTech1-55/+40
2017-03-10subst: Don't need to match on the left ExprNanoTech1-12/+12
2017-03-10subst: Take the input Exprs by referenceNanoTech1-19/+18
2017-03-10shift: Take the input Expr by referenceNanoTech1-24/+20
2017-03-10Seperate built-in types and functions from ExprNanoTech1-90/+76
2017-03-10Replace Cow<'i, str> with &'i str in ExprNanoTech1-33/+29
2017-03-10Begin implementing type checkingNanoTech1-0/+487
2017-03-10Reference input strings without copyingNanoTech1-30/+31
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 16:35:52 +0000