HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.58k stars 142 forks source link

No `LICENSE` file or indication of such in `Cargo.toml` files #471

Closed KirilMihaylov closed 1 year ago

KirilMihaylov commented 1 year ago

It would be appreciated to have a LICENSE file in the root of the repository as in Cargo.toml of kind-cli there is license = "MIT" but most, if not all, other crates in the repository do not. It also will make it more clear that way.

In fact, in my opinion both the file in the repo and the setting in Cargo.toml should be there. Thus being more friendly to users both on GitHub and crates.io.

This could be considered as a follow-up of Kindelia/HVM#190.