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