summaryrefslogtreecommitdiff
path: root/src/core.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add Natural/Show builtinNadrieril2019-02-271-0/+3
* Switch to Rust 2018 editionNadrieril2019-02-271-11/+11
* fixed some clippy warningsAndre Bogus2017-09-081-120/+120
* _ unused variablesNanoTech2017-03-101-5/+5
* Implement fold/build fusion normalize casesNanoTech2017-03-101-7/+7
* Format more operators, still ignoring precedence for nowNanoTech2017-03-101-0/+6
* Format ListLit and OptionalLitNanoTech2017-03-101-23/+27
* Implement more normalize and typecheck casesNanoTech2017-03-101-8/+93
* Implement all subst casesNanoTech2017-03-101-8/+51
* Implement all shift casesNanoTech2017-03-101-74/+46
* Use BTreeMaps to keep records and unions sortedNanoTech2017-03-101-23/+9
* Implement more list functionsNanoTech2017-03-101-33/+53
* Fix formatting for Pi("_", _, _)NanoTech2017-03-101-0/+5
* normalize: Take the input Expr by referenceNanoTech2017-03-101-33/+42
* Implement more typechecker casesNanoTech2017-03-101-1/+30
* impl Display for ExprNanoTech2017-03-101-9/+231
* Implement more typechecking for Prelude/List/shiftedNanoTech2017-03-101-55/+40
* subst: Don't need to match on the left ExprNanoTech2017-03-101-12/+12
* subst: Take the input Exprs by referenceNanoTech2017-03-101-19/+18
* shift: Take the input Expr by referenceNanoTech2017-03-101-24/+20
* Seperate built-in types and functions from ExprNanoTech2017-03-101-90/+76
* Replace Cow<'i, str> with &'i str in ExprNanoTech2017-03-101-33/+29
* Begin implementing type checkingNanoTech2017-03-101-0/+487
* Reference input strings without copyingNanoTech2017-03-101-30/+31
* Initial commitNanoTech2017-03-101-0/+222