search

mkhl / maude.tmbundle

TextMate bundle for the Maude rewriting logic system. http://maude.cs.uiuc.edu/
7 stars 2 forks source link

License #1

Open Paul-Haley opened 6 years ago

Paul-Haley commented 6 years ago

Hello,

I wish to add this bundle to the Linguist project by GitHub. One of the requirements is that the code is under one of the following licenses. I recognise that there is already a license of form given in this project, the only change required would be using something more official. To the best of my knowledge (not legal advice), the MIT license incorporates the permissiveness offered currently. With the license change complete, I would be able to do the contribution to the project.

The benefits of all I am suggesting here are:

mkhl commented 6 years ago

Sure thing! Send me a PR and get infininight’s approval and I’ll happily merge it.