summaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2019-03-01Split abnf_to_pest and dhall into their own cratesNadrieril45-4440/+0
2019-02-28Auto-generate pest file from spec abnfNadrieril5-843/+198
2019-02-28Start rewriting parser in pestNadrieril2-0/+896
2019-02-28Fix imports in grammar.lalrpopNadrieril1-7/+7
2019-02-27Add Natural/Show builtinNadrieril2-0/+4
2019-02-27Add one test from the specNadrieril2-17/+13
2019-02-27Fix mixed up parsing of integers/naturalsNadrieril2-5/+5
2019-02-27Switch to Rust 2018 editionNadrieril6-39/+37
2019-02-27Revert "Try to update to latest nom"Nadrieril4-29/+31
2019-02-27Try to update to latest nomNadrieril4-31/+29
2019-02-27Update dependenciesNadrieril3-7/+8
2017-09-08fixed some clippy warningsAndre Bogus5-188/+187
2017-03-10_ unused variablesNanoTech1-5/+5
2017-03-10Fix match on Embed(X)NanoTech1-1/+1
2017-03-10Start implementing error explanationsNanoTech36-26/+1828
2017-03-10Implement fold/build fusion normalize casesNanoTech1-7/+7
2017-03-10Fix context lookup orderNanoTech1-1/+1
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 casesNanoTech2-226/+245
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 sortedNanoTech2-27/+13
2017-03-10Implement more list functionsNanoTech2-33/+55
2017-03-10Fix formatting for Pi("_", _, _)NanoTech1-0/+5
2017-03-10normalize: Take the input Expr by referenceNanoTech3-51/+60
2017-03-10Implement more typechecker casesNanoTech1-1/+30
2017-03-10impl Display for ExprNanoTech2-10/+241
2017-03-10Implement more typechecking for Prelude/List/shiftedNanoTech2-101/+122
2017-03-10subst: Don't need to match on the left ExprNanoTech1-12/+12
2017-03-10subst: Take the input Exprs by referenceNanoTech2-20/+19
2017-03-10shift: Take the input Expr by referenceNanoTech2-28/+24
2017-03-10Seperate built-in types and functions from ExprNanoTech5-177/+130
2017-03-10Replace Cow<'i, str> with &'i str in ExprNanoTech5-58/+50
2017-03-10Begin implementing type checkingNanoTech6-13/+1176
2017-03-10Reference input strings without copyingNanoTech5-66/+70
2017-03-10Parse string literalsNanoTech2-12/+95
2017-03-10Parse identifiers' first character correctlyNanoTech1-2/+5
2017-03-10Remove unused and commented symbol lexing codeNanoTech1-32/+0
2017-03-10Refactor comment end findingNanoTech1-18/+9
2017-03-10Parse Const, lists, and recordsNanoTech4-33/+133
2017-03-10Colored error messagesNanoTech1-9/+38
2017-03-10rustc-style error messagesNanoTech1-3/+29
2017-03-10test reservedNanoTech1-1/+1
2017-03-10Parse builtins correctlyNanoTech2-1/+27
2017-03-10Separate keywords and builtinsNanoTech2-35/+44
2017-03-10Print some error contextNanoTech1-2/+8
2017-03-10Add more ExprB rulesNanoTech2-7/+35
2017-03-10Skip commentsNanoTech1-8/+41
2017-03-10Report the offset of errorsNanoTech1-2/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 19:38:05 +0000