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