summaryrefslogtreecommitdiff
path: root/dhall-lang (unfollow)
Commit message (Expand)AuthorFilesLines
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
2019-08-06Remove old-style optional literalsNadrieril1-0/+0
2019-08-06Inline headersNadrieril1-0/+0
2019-08-03Update dhall-lang submoduleNadrieril1-0/+0
2019-08-03Update dhall-lang submoduleNadrieril1-0/+0
2019-08-03Update dhall-lang submoduleNadrieril1-0/+0
2019-08-03Update dhall-lang submoduleNadrieril1-0/+0
2019-05-09Update dhall-lang submoduleNadrieril1-0/+0
2019-05-02Update dhall-lang submoduleNadrieril1-0/+0
2019-05-02Update dhall-lang submoduleNadrieril1-0/+0
2019-05-02Update dhall-lang submoduleNadrieril1-0/+0
2019-05-02Update dhall-lang submoduleNadrieril1-0/+0
2019-05-02Update dhall-lang submoduleNadrieril1-0/+0
2019-05-02Update dhall-lang submoduleNadrieril1-0/+0
2019-04-16Update dhall-lang submoduleNadrieril1-0/+0
2019-04-09Update dhall-lang submoduleNadrieril1-0/+0
2019-04-07Update dhall-lang submoduleNadrieril1-0/+0
2019-04-05Update dhall-lang submoduleNadrieril1-0/+0
2019-04-04Update dhall-lang submoduleNadrieril1-0/+0
2019-04-04Update dhall-lang submoduleNadrieril1-0/+0
2019-03-27Update dhall-lang submoduleNadrieril1-0/+0
2019-03-26Update dhall-lange submoduleNadrieril1-0/+0
2019-03-26Update dhall-lang submoduleNadrieril1-0/+0