summaryrefslogtreecommitdiff
path: root/dhall-lang (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-02-04spec: support dhall v20Nadrieril1-0/+0
2020-11-27Update dhall-langBasile Henry1-0/+0
2020-11-03Update dhall-lang to latest masterBasile Henry1-0/+0
2020-11-01Allow `Text/replace ` to support an abstract haystackBasile Henry1-0/+0
2020-10-25Use dhall-lang v19.0Basile Henry1-0/+0
2020-09-14spec!: support Dhall v18.0.0Nadrieril1-0/+0
2020-09-14spec: Enable `with` optimizationsNadrieril1-0/+0
2020-09-14spec: update to 17.1.0Nadrieril1-0/+0
2020-06-25spec: allow trailing delimitersNadrieril1-0/+0
2020-06-25spec: support Dhall v17.0.0Nadrieril1-0/+0
2020-06-25spec!: remove Optional/build and Optional/foldNadrieril1-0/+0
2020-06-25spec: remove Unicode character from `dhall.abnf`Nadrieril1-0/+0
2020-06-25spec!: remove the ability to quote paths in URLsNadrieril1-0/+0
2020-06-25spec: ensure `keyword` rule only matches keywordsNadrieril1-0/+0
2020-06-25spec: not all ABNF parsers like empty rulesNadrieril1-0/+0
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
See https://github.com/dhall-lang/dhall-lang/pull/933
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