summaryrefslogtreecommitdiff
path: root/README.md (unfollow)
Commit message (Expand)AuthorFilesLines
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