summaryrefslogtreecommitdiff
path: root/dhall-lang (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix a testNadrieril2019-08-121-0/+0
* Update dhall-lang submoduleNadrieril2019-08-101-0/+0
* Update dhall-lang submoduleNadrieril2019-08-081-0/+0
* Add support for dependent typesNadrieril2019-08-081-0/+0
* Update dhall-lang submoduleNadrieril2019-08-071-0/+0
* Flatten nested let bindingsNadrieril2019-08-071-0/+0
* Normalize field selection further by inspecting the argumentNadrieril2019-08-071-0/+0
* Update dhall-lang submoduleNadrieril2019-08-071-0/+0
* Add truncated Natural subtractionNadrieril2019-08-071-0/+0
* Remove union literals from the languageNadrieril2019-08-071-0/+0
* Update dhall-lang submoduleNadrieril2019-08-071-0/+0
* Various parsing tweaksNadrieril2019-08-071-0/+0
* Forbid surrogate pairs and non-charactersNadrieril2019-08-071-0/+0
* Update dhall-lang submoduleNadrieril2019-08-071-0/+0
* Generalize empty list annotationsNadrieril2019-08-061-0/+0
* Update dhall-lang submoduleNadrieril2019-08-061-0/+0
* Add toMap keywordNadrieril2019-08-061-0/+0
* Change URL parsingNadrieril2019-08-061-0/+0
* Change some testsNadrieril2019-08-061-0/+0
* RFC3986 URLsNadrieril2019-08-061-0/+0
* Add some testsNadrieril2019-08-061-0/+0
* Braced escape sequencesNadrieril2019-08-061-0/+0
* Update dhall-lang submoduleNadrieril2019-08-061-0/+0
* Remove old-style optional literalsNadrieril2019-08-061-0/+0
* Inline headersNadrieril2019-08-061-0/+0