summaryrefslogtreecommitdiff
path: root/README.md (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-18Setup CI to test with various toolchainsNadrieril1-0/+2
2020-03-18Cut releaseNadrieril1-1/+1
2020-03-18Update READMENadrieril1-0/+1
2020-03-17Use stable toolchainNadrieril1-2/+1
2020-03-17Update CI badgeNadrieril1-1/+1
2020-03-17Update READMENadrieril1-0/+1
2020-03-10Add support for `with` keywordNadrieril1-0/+1
2020-03-05Update READMENadrieril1-4/+11
2020-02-21Cut releaseNadrieril1-2/+2
2020-02-20Support spec v14Nadrieril1-1/+2
2020-02-20Add support for dotted field syntaxNadrieril1-0/+1
2020-02-20Disallow Natural literals with leading zerosNadrieril1-0/+1
2020-02-20Add support for duplicate record fieldsNadrieril1-4/+5
2020-02-19Update spec to version 13Nadrieril1-4/+14
2020-02-09Add option to overwrite test filesNadrieril1-0/+31
2020-01-16releaseNadrieril1-1/+3
2019-12-24Add missing serde link to READMENadrieril1-1/+1
2019-12-24Reorder badgesNadrieril1-1/+1
2019-12-24Add badges to READMENadrieril1-0/+4
2019-12-24Release new versionNadrieril1-1/+7
2019-12-23Update dhall-lang submoduleNadrieril1-1/+1
2019-12-22Update dhall-lang submoduleNadrieril1-1/+1
2019-12-22Update dhall-lang submoduleNadrieril1-1/+1
2019-12-21Update README.mdNadrieril Feneanar1-10/+56
2019-07-24Add section to README for contributing. It describes how to set up the git re...FintanH1-0/+56
2019-05-09Generate normalization tests automaticallyNadrieril1-1/+1
2019-05-09Update dhall-lang submoduleNadrieril1-1/+1
2019-05-02Update normalization testsNadrieril1-1/+1
2019-04-20Update readme completion countersNadrieril1-3/+3
2019-04-12Note nightlyness in READMENadrieril1-0/+2
2019-04-12Clarify licenseNadrieril1-0/+4
2019-04-12Fix READMENadrieril1-1/+1
2019-04-07Update README.mdNadrieril1-9/+2
2019-04-06Add type-inference testsNadrieril1-1/+1
2019-04-04Update dhall-lang submoduleNadrieril1-1/+1
2019-04-04Update dhall-lang submoduleNadrieril1-1/+1
2019-03-24Add standard compliance numbers to READMENadrieril1-0/+9
2019-03-19Add CI badgesNadrieril1-0/+3
2019-03-09Add READMENadrieril1-0/+15