summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Implement more normalize and typecheck casesNanoTech2017-03-102-226/+245
* 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-102-27/+13
* Implement more list functionsNanoTech2017-03-102-33/+55
* Fix formatting for Pi("_", _, _)NanoTech2017-03-101-0/+5
* normalize: Take the input Expr by referenceNanoTech2017-03-103-51/+60
* Implement more typechecker casesNanoTech2017-03-101-1/+30
* impl Display for ExprNanoTech2017-03-102-10/+241
* Implement more typechecking for Prelude/List/shiftedNanoTech2017-03-102-101/+122
* subst: Don't need to match on the left ExprNanoTech2017-03-101-12/+12
* subst: Take the input Exprs by referenceNanoTech2017-03-102-20/+19
* shift: Take the input Expr by referenceNanoTech2017-03-102-28/+24
* Seperate built-in types and functions from ExprNanoTech2017-03-105-177/+130
* Replace Cow<'i, str> with &'i str in ExprNanoTech2017-03-105-58/+50
* Begin implementing type checkingNanoTech2017-03-106-13/+1176
* Reference input strings without copyingNanoTech2017-03-105-66/+70
* Parse string literalsNanoTech2017-03-102-12/+95
* Parse identifiers' first character correctlyNanoTech2017-03-101-2/+5
* Remove unused and commented symbol lexing codeNanoTech2017-03-101-32/+0
* Refactor comment end findingNanoTech2017-03-101-18/+9
* Parse Const, lists, and recordsNanoTech2017-03-104-33/+133
* Colored error messagesNanoTech2017-03-103-9/+49
* rustc-style error messagesNanoTech2017-03-103-3/+37
* test reservedNanoTech2017-03-101-1/+1
* Parse builtins correctlyNanoTech2017-03-102-1/+27
* Separate keywords and builtinsNanoTech2017-03-102-35/+44
* Print some error contextNanoTech2017-03-101-2/+8
* Add more ExprB rulesNanoTech2017-03-102-7/+35
* Skip commentsNanoTech2017-03-101-8/+41
* Report the offset of errorsNanoTech2017-03-101-2/+3
* Read and parse stdinNanoTech2017-03-102-4/+7
* Initial commitNanoTech2017-03-1011-0/+971