summaryrefslogtreecommitdiff
path: root/dhall-lang (unfollow)
Commit message (Expand)AuthorFilesLines
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
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-16 21:17:23 +0000