summaryrefslogtreecommitdiff
path: root/dhall-lang (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update dhall-lang to latest masterBasile Henry2020-11-031-0/+0
|
* Allow `Text/replace ` to support an abstract haystackBasile Henry2020-11-011-0/+0
|
* Use dhall-lang v19.0Basile Henry2020-10-251-0/+0
|
* spec!: support Dhall v18.0.0Nadrieril2020-09-141-0/+0
|
* spec: Enable `with` optimizationsNadrieril2020-09-141-0/+0
|
* spec: update to 17.1.0Nadrieril2020-09-141-0/+0
|
* spec: allow trailing delimitersNadrieril2020-06-251-0/+0
|
* spec: support Dhall v17.0.0Nadrieril2020-06-251-0/+0
|
* spec!: remove Optional/build and Optional/foldNadrieril2020-06-251-0/+0
|
* spec: remove Unicode character from `dhall.abnf`Nadrieril2020-06-251-0/+0
|
* spec!: remove the ability to quote paths in URLsNadrieril2020-06-251-0/+0
|
* spec: ensure `keyword` rule only matches keywordsNadrieril2020-06-251-0/+0
|
* spec: not all ABNF parsers like empty rulesNadrieril2020-06-251-0/+0
|
* spec: allow quoted labels to be emptyNadrieril2020-06-251-0/+0
|
* spec: support Dhall v16.0.0Nadrieril2020-06-251-0/+0
|
* spec: update encoding of floating point values to RFC7049bisNadrieril2020-06-251-0/+0
|
* spec: allow unions with mixed kindsNadrieril2020-06-251-0/+0
|
* spec: fix precedence of `===` and `with`Nadrieril2020-06-251-0/+0
|
* Update dhall-lang submoduleNadrieril2020-04-111-0/+0
|
* Update spec to v15Nadrieril2020-04-111-0/+0
|
* Standard PR got mergedNadrieril2020-03-171-0/+0
|
* Upstream all local testsNadrieril2020-03-101-0/+0
| | | | See https://github.com/dhall-lang/dhall-lang/pull/933
* Add support for `with` keywordNadrieril2020-03-101-0/+0
|
* Update dhall-lang submoduleNadrieril2020-03-051-0/+0
|
* Update dhall-lang submoduleNadrieril2020-02-201-0/+0
|
* Support spec v14Nadrieril2020-02-201-0/+0
|
* Add support for dotted field syntaxNadrieril2020-02-201-0/+0
|
* Disallow Natural literals with leading zerosNadrieril2020-02-201-0/+0
|
* Add support for duplicate record fieldsNadrieril2020-02-201-0/+0
|
* Update spec to version 13Nadrieril2020-02-191-0/+0
|
* Update dhall-lang submoduleNadrieril2019-12-271-0/+0
|
* Extend merge to work on OptionalsNadrieril2019-12-241-0/+0
|
* Update dhall-lang submoduleNadrieril2019-12-231-0/+0
|
* Update dhall-lang submoduleNadrieril2019-12-231-0/+0
|
* Update dhall-lang submoduleNadrieril2019-12-231-0/+0
|
* Update dhall-lang submoduleNadrieril2019-12-231-0/+0
|
* Add two new Integer builtinsNadrieril2019-12-231-0/+0
|
* Update dhall-lang submoduleNadrieril2019-12-221-0/+0
|
* Update dhall-lang submoduleNadrieril2019-12-221-0/+0
|
* Update dhall-lang submoduleNadrieril2019-12-221-0/+0
|
* Update dhall-lang submoduleNadrieril2019-12-221-0/+0
|
* Implement parsing for record completionNadrieril2019-12-221-0/+0
|
* Update dhall-lang submoduleNadrieril2019-12-221-0/+0
|
* Update dhall-lang submoduleNadrieril2019-12-221-0/+0
|
* Update dhall-lang submoduleNadrieril2019-09-201-0/+0
|
* Update dhall-lang submoduleNadrieril2019-09-201-0/+0
|
* Update dhall-lang submoduleNadrieril2019-08-311-0/+0
|
* Don't URL-decode path segmentsNadrieril2019-08-311-0/+0
|
* Standardize records of mixed kindsNadrieril2019-08-201-0/+0
|
* Remove grammar workaroundNadrieril2019-08-121-0/+0
|