summaryrefslogtreecommitdiff
path: root/dhall-lang (unfollow)
Commit message (Expand)AuthorFilesLines
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
2019-08-07Update dhall-lang submoduleNadrieril1-0/+0
2019-08-06Generalize empty list annotationsNadrieril1-0/+0
2019-08-06Update dhall-lang submoduleNadrieril1-0/+0
2019-08-06Add toMap keywordNadrieril1-0/+0
2019-08-06Change URL parsingNadrieril1-0/+0
2019-08-06Change some testsNadrieril1-0/+0
2019-08-06RFC3986 URLsNadrieril1-0/+0
2019-08-06Add some testsNadrieril1-0/+0
2019-08-06Braced escape sequencesNadrieril1-0/+0
2019-08-06Update dhall-lang submoduleNadrieril1-0/+0