Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Licence? #144

Closed
dylanede opened this issue May 11, 2019 · 1 comment
Closed

Licence? #144

dylanede opened this issue May 11, 2019 · 1 comment

Comments

@dylanede
Copy link

Unlike the main Agda repository, this one doesn't have a licence file in it. It would probably be a good idea to add one, perhaps similar to the one in the main Agda repository? That one appears to be based on the MIT licence.
@Saizan
Copy link
Contributor

Saizan commented Jul 29, 2019

Sounds good to me, by looking at a blank MIT license https://opensource.org/licenses/MIT

I guess we just need to put together a list of copyright holders.

Saizan added a commit that referenced this issue Jul 29, 2019
@Saizan
Re #144: Add a MIT License file.
f870a93
Saizan added a commit that referenced this issue Aug 1, 2019
@Saizan
Re #144: Add a MIT License file. (#161)
709f6ad
@Saizan Saizan closed this as completed Aug 1, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Saizan @dylanede