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