summaryrefslogtreecommitdiff
path: root/README.md (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update README.mdNadrieril Feneanar2019-12-211-10/+56
|
* Add section to README for contributing. It describes how to set up the git ↵FintanH2019-07-241-0/+56
| | | | repo, rustup, and cargo
* 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
| | | | Closes #61
* Fix READMENadrieril2019-04-121-1/+1
|
* Update README.mdNadrieril2019-04-071-9/+2
|
* Add type-inference testsNadrieril2019-04-061-1/+1
| | | | Closes #49
* 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