summaryrefslogtreecommitdiff
path: root/dhall-lang (unfollow)
Commit message (Expand)AuthorFilesLines
2020-06-25spec: allow quoted labels to be emptyNadrieril1-0/+0
2020-06-25spec: support Dhall v16.0.0Nadrieril1-0/+0
2020-06-25spec: update encoding of floating point values to RFC7049bisNadrieril1-0/+0
2020-06-25spec: allow unions with mixed kindsNadrieril1-0/+0
2020-06-25spec: fix precedence of `===` and `with`Nadrieril1-0/+0
2020-04-11Update dhall-lang submoduleNadrieril1-0/+0
2020-04-11Update spec to v15Nadrieril1-0/+0
2020-03-17Standard PR got mergedNadrieril1-0/+0
2020-03-10Upstream all local testsNadrieril1-0/+0
2020-03-10Add support for `with` keywordNadrieril1-0/+0
2020-03-05Update dhall-lang submoduleNadrieril1-0/+0
2020-02-20Update dhall-lang submoduleNadrieril1-0/+0
2020-02-20Support spec v14Nadrieril1-0/+0
2020-02-20Add support for dotted field syntaxNadrieril1-0/+0
2020-02-20Disallow Natural literals with leading zerosNadrieril1-0/+0
2020-02-20Add support for duplicate record fieldsNadrieril1-0/+0
2020-02-19Update spec to version 13Nadrieril1-0/+0
2019-12-27Update dhall-lang submoduleNadrieril1-0/+0
2019-12-24Extend merge to work on OptionalsNadrieril1-0/+0
2019-12-23Update dhall-lang submoduleNadrieril1-0/+0
2019-12-23Update dhall-lang submoduleNadrieril1-0/+0
2019-12-23Update dhall-lang submoduleNadrieril1-0/+0
2019-12-23Update dhall-lang submoduleNadrieril1-0/+0
2019-12-23Add two new Integer builtinsNadrieril1-0/+0
2019-12-22Update dhall-lang submoduleNadrieril1-0/+0
2019-12-22Update dhall-lang submoduleNadrieril1-0/+0
2019-12-22Update dhall-lang submoduleNadrieril1-0/+0
2019-12-22Update dhall-lang submoduleNadrieril1-0/+0
2019-12-22Implement parsing for record completionNadrieril1-0/+0
2019-12-22Update dhall-lang submoduleNadrieril1-0/+0
2019-12-22Update dhall-lang submoduleNadrieril1-0/+0
2019-09-20Update dhall-lang submoduleNadrieril1-0/+0
2019-09-20Update dhall-lang submoduleNadrieril1-0/+0
2019-08-31Update dhall-lang submoduleNadrieril1-0/+0
2019-08-31Don't URL-decode path segmentsNadrieril1-0/+0
2019-08-20Standardize records of mixed kindsNadrieril1-0/+0
2019-08-12Remove grammar workaroundNadrieril1-0/+0
2019-08-12Fix a testNadrieril1-0/+0
2019-08-10Update dhall-lang submoduleNadrieril1-0/+0
2019-08-08Update dhall-lang submoduleNadrieril1-0/+0
2019-08-08Add support for dependent typesNadrieril1-0/+0
2019-08-07Update dhall-lang submoduleNadrieril1-0/+0
2019-08-07Flatten nested let bindingsNadrieril1-0/+0
2019-08-07Normalize field selection further by inspecting the argumentNadrieril1-0/+0
2019-08-07Update dhall-lang submoduleNadrieril1-0/+0
2019-08-07Add truncated Natural subtractionNadrieril1-0/+0
2019-08-07Remove union literals from the languageNadrieril1-0/+0
2019-08-07Update dhall-lang submoduleNadrieril1-0/+0
2019-08-07Various parsing tweaksNadrieril1-0/+0
2019-08-07Forbid surrogate pairs and non-charactersNadrieril1-0/+0