Merge pull request #146 from motrellin/patch-1

Update README.md
jwiegley · Sep 17, 2024 · 103a21a · 103a21a
2 parents b1033ae + d5fa431
commit 103a21a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -294,8 +294,8 @@ syntactic domains, without relying on Coq's extraction mechanism.
 
 ## License
 
-This library is made available under the MIT license, a copy of which is
-included in the file `LICENSE`. Basically: you are free to use it for any
+This library is made available under the BSD-3-Clause license, a copy of which is
+included in the file [`LICENSE`](LICENSE). Basically: you are free to use it for any
 purpose, personal or commercial (including proprietary derivates), so long as
 a copy of the license file is maintained in the derived work. Further, any
 acknowledgement referring back to this repository, while not necessary, is