summaryrefslogtreecommitdiff
path: root/dhall-lang (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* 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
|
* Update dhall-lang submoduleNadrieril2019-08-031-0/+0
|
* Update dhall-lang submoduleNadrieril2019-08-031-0/+0
|
* Update dhall-lang submoduleNadrieril2019-08-031-0/+0
|
* Update dhall-lang submoduleNadrieril2019-08-031-0/+0
|
* Update dhall-lang submoduleNadrieril2019-05-091-0/+0
|
* Update dhall-lang submoduleNadrieril2019-05-021-0/+0
|
* Update dhall-lang submoduleNadrieril2019-05-021-0/+0
|
* Update dhall-lang submoduleNadrieril2019-05-021-0/+0
|
* Update dhall-lang submoduleNadrieril2019-05-021-0/+0
|
* Update dhall-lang submoduleNadrieril2019-05-021-0/+0
|
* Update dhall-lang submoduleNadrieril2019-05-021-0/+0
|
* Update dhall-lang submoduleNadrieril2019-04-161-0/+0
|
* Update dhall-lang submoduleNadrieril2019-04-091-0/+0
|
* Update dhall-lang submoduleNadrieril2019-04-071-0/+0
|
* Update dhall-lang submoduleNadrieril2019-04-051-0/+0
|
* Update dhall-lang submoduleNadrieril2019-04-041-0/+0
|
* Update dhall-lang submoduleNadrieril2019-03-271-0/+0
|
* Update dhall-lange submoduleNadrieril2019-03-261-0/+0
|
* Update dhall-lang submoduleNadrieril2019-03-261-0/+0
|
* Update dhall-lang submoduleNadrieril2019-03-241-0/+0
|
* Parse multiline strings correctlyNadrieril2019-03-241-0/+0
| | | | Closes #24
* Update dhall-lang submoduleNadrieril2019-03-231-0/+0
|
* Update spec submodule and add new testsNadrieril2019-03-151-0/+0
|