summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/core (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove the notion of Directory and have File be the vector of componentsFintan Halpenny2019-09-021-36/+13
* Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintanH2019-08-124-17/+171
|\
| * Add support for dependent typesNadrieril2019-08-082-1/+6
| * Add truncated Natural subtractionNadrieril2019-08-071-0/+1
| * Remove union literals from the languageNadrieril2019-08-072-5/+0
| * Sort labels in projection expressionsNadrieril2019-08-072-2/+97
| * Generalize empty list annotationsNadrieril2019-08-061-1/+1
| * RFC3986 URLsNadrieril2019-08-061-0/+1
| * Add some new tests and implement import alternativesNadrieril2019-08-062-0/+64
| * Remove old-style optional literalsNadrieril2019-08-062-8/+0
| * Inline headersNadrieril2019-08-061-0/+1
* | Refactor of File to be the combination of Directory and the file name,FintanH2019-08-121-2/+120
|/
* Update dhall-lang submoduleNadrieril2019-08-031-3/+2
* TweakNadrieril2019-05-121-12/+12
* clippyNadrieril2019-05-122-3/+2
* Implement binary encodingNadrieril2019-05-123-32/+82
* oopsNadrieril2019-05-101-0/+1
* Write a custom map type that allows duplicatesNadrieril2019-05-104-16/+201
* Small utility SubExpr::from_builtinNadrieril2019-05-091-0/+4
* ExprF need not be generic in LabelNadrieril2019-05-092-192/+92
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-9/+13
* Detect duplicate record fields in typecheckNadrieril2019-05-092-17/+14
* Update dhall-lang submoduleNadrieril2019-05-091-0/+12
* Rename the record combining operators internallyNadrieril2019-05-081-5/+5
* Don't discard normalization work done by typecheckingNadrieril2019-05-071-1/+1
* Reorganize dhall_syntaxNadrieril2019-05-077-0/+1226
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-12 13:10:11 +0000