summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorNadrieril2019-04-12 18:06:45 +0200
committerNadrieril2019-04-12 18:06:45 +0200
commit16dd859d2460b90bdf454c4cbee2668cd4398e07 (patch)
treeb6fa63dc4fb691fce56ceccea3b7a3250b8719f8 /README.md
parentfd4bb0e573296ec91b86ad223738de8f16cd4d60 (diff)
Clarify license
Closes #61
Diffstat (limited to 'README.md')
-rw-r--r--README.md4
1 files changed, 4 insertions, 0 deletions
diff --git a/README.md b/README.md
index 97c46f1..300f8ad 100644
--- a/README.md
+++ b/README.md
@@ -18,3 +18,7 @@ This is still quite unstable so use at your own risk. Documentation is severely
You can see what's missing from the commented out tests in `dhall/src/normalize.rs` and `dhall/src/typecheck.rs`.
+## License
+
+Licensed under the terms of the 2-Clause BSD License ([LICENSE](LICENSE) or
+https://opensource.org/licenses/BSD-2-Clause)