Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history 
The licensing information seemed to be confusing, as the README referres to a MIT license, although the linked LICENSE-File contains a BSD-3-Clause-License. This PR proposes to update the README.md

Furthermore, I added a link to the LICENSE-file.
  • Loading branch information
@motrellin
motrellin authored Jul 19, 2024
1 parent c103289 commit d5fa431
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit d5fa431

Please sign in to comment.