summaryrefslogtreecommitdiff
path: root/README.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix version in READMENadrieril2020-03-201-1/+1
* Improve README badgesNadrieril2020-03-201-6/+14
* Setup CI to test with various toolchainsNadrieril2020-03-181-0/+2
* Cut releaseNadrieril2020-03-181-1/+1
* Update READMENadrieril2020-03-181-0/+1
* Use stable toolchainNadrieril2020-03-171-2/+1
* Update CI badgeNadrieril2020-03-171-1/+1
* Update READMENadrieril2020-03-171-0/+1
* Add support for `with` keywordNadrieril2020-03-101-0/+1
* Update READMENadrieril2020-03-051-4/+11
* Cut releaseNadrieril2020-02-211-2/+2
* Support spec v14Nadrieril2020-02-201-1/+2
* Add support for dotted field syntaxNadrieril2020-02-201-0/+1
* Disallow Natural literals with leading zerosNadrieril2020-02-201-0/+1
* Add support for duplicate record fieldsNadrieril2020-02-201-4/+5
* Update spec to version 13Nadrieril2020-02-191-4/+14
* Add option to overwrite test filesNadrieril2020-02-091-0/+31
* releaseNadrieril2020-01-161-1/+3
* Add missing serde link to READMENadrieril2019-12-241-1/+1
* Reorder badgesNadrieril2019-12-241-1/+1
* Add badges to READMENadrieril2019-12-241-0/+4
* Release new versionNadrieril2019-12-241-1/+7
* Update dhall-lang submoduleNadrieril2019-12-231-1/+1
* Update dhall-lang submoduleNadrieril2019-12-221-1/+1
* Update dhall-lang submoduleNadrieril2019-12-221-1/+1
* Update README.mdNadrieril Feneanar2019-12-211-10/+56
* Add section to README for contributing. It describes how to set up the git re...FintanH2019-07-241-0/+56
* Generate normalization tests automaticallyNadrieril2019-05-091-1/+1
* Update dhall-lang submoduleNadrieril2019-05-091-1/+1
* Update normalization testsNadrieril2019-05-021-1/+1
* Update readme completion countersNadrieril2019-04-201-3/+3
* Note nightlyness in READMENadrieril2019-04-121-0/+2
* Clarify licenseNadrieril2019-04-121-0/+4
* Fix READMENadrieril2019-04-121-1/+1
* Update README.mdNadrieril2019-04-071-9/+2
* Add type-inference testsNadrieril2019-04-061-1/+1
* Update dhall-lang submoduleNadrieril2019-04-041-1/+1
* Add standard compliance numbers to READMENadrieril2019-03-241-0/+9
* Add CI badgesNadrieril2019-03-191-0/+3
* Add READMENadrieril2019-03-091-0/+15